The Lazy Lambda Calculus: A n Investigation into the Foundations of Functional Programming (1988)

by Chih-Hao Luke Ong