Comprehending monads. Pages 61--78 of (1990)

by Philip Wadler
Venue:Proceedings of the 1990 ACM Conference on LISP and Functional Programming