Computational lambda-calculus and monads (1989)

by Eugenio Moggi
Citations:437 - 6 self