Moggi: Computational Lambda-calculus and Monads (1989)

by Eugenio
Venue:proceedings of 4th Conference on Logic in Computer Science pp 14-23, IEEE