The Lazy Lambda Calculus: An Investigation (1988)

by C-H L Ong
Venue:in the Foundations of Functional Programming, Ph.D. thesis