Computational lambda-calculus and monads (1989)

by E Moggi
Venue:University of Edinburgh