The Partial Lambda-Calculus (1988)

by Eugenio Moggi, Ph. D