Computational Lambda Calculus and Monads, proc (1989)

by E Moggi
Venue:IEEE. Logic in Computer Science, Asilomar