The lazy lambda calculus, in "Research Topics in Functional Programming (1990)

by S Abramsky