Notions of computation and monads. (1991)

by E Moggi
Venue:Journal of Information and Computation,