Computational Lambda-Calculus and Monads (1989)

by Eugenio Moggi
Citations:439 - 6 self