Computational lambda-calculus and monads (1989)

by E Moggi
Venue:In Fourth Annual Symposium on Logic in Computer Science. IEEE, Computer