An introduction to category theory, category
theory monads, and their relationship to
functional programming
- Hill, Jonathan M. D. and Clarke, Keith (techreport, 1994)
Monadic parser combinators
- Graham Hutton and Erik Meijer (techreport, 1996)
Monadic parser combinators
- Graham Hutton and Erik Meijer (article, 1996)
Composing monads
- M.P. Jones and L. Duponcheel (TECHREPORT, 1993)
Combining Monads
- D.J. King and P.Wadler (INPROCEEDINGS, 1992)
Computational lambda-calculus and monads
- Moggi, E (inproceedings, 1989)
An Abstract View of Programming Languages
- Moggi, E. (TechReport, 1989)
Imperative Functional Programming
- Peyton Jones, S.~L. and Wadler, P. (inproceedings, 1993)
Comprehending Monads
- P.~Wadler (ARTICLE, 1992)
The essence of functional programming
- P.~Wadler (INPROCEEDINGS, 1992)
Monads for functional programming
- Wadler, Philip (misc, 1992)
How to declare an imperative
- Philip Wadler[John Lloyd (ed)] (INPROCEEDINGS, 1995)
cr3@ukc.ac.uk