Notions of Computation and Monads (1991)

by Eugenio Moggi
Venue:Information and Computation