The lazy lambda calculus (1990)

by Samson Abramsky
Venue:Research Topics in Functional Programming