Computational lambda calculus and monads (1989)

by E Moggi
Venue:In Proceedings of the 4th IEEE Symposium on Logic in Computer Science (LCS’89