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

by Eugenio Moggi
Venue:IEEE Computer Society