Computational Lambda-Calculus and Monads (1988)

by Eugenio Moggi
Citations:437 - 6 self