Computational lambda-calculus and monads (1989)

by E Moggi
Venue:in: LICS’89, Proc. 4th Ann. Symp. on Logic in Comp. Sci., IEEE