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

by E Moggi
Venue:Proceedings of symposium on logic in computer science