Computational lambda-calculus and monads. Pages 14–23 of (1989)

by Eugenio Moggi
Venue:Proceedings of the fourth annual symposium on logic in computer science. IEEE