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

by Chih-Hao Luke Ong