Notions of computation and monads (1991)

by E Moggi
Venue:Information and Computation