The lazy lambda calculus : an investigation into the foundations of functional programming
Thesis, Dissertation, English, [1992]
University of Cambridge Computer Laboratory, Cambridge, England, [1992]