Computational lambdacalculus and monads. (1989)

by E Moggi
Venue:In Proceedings of Symposium on Logic in Computer Science,