Notions of computation and monads. Information and Computation (1991)

by E Moggi
Venue:In Society for Industrial and Applied Mathematics Journal on Computing