The call-by-need lambda calculus, Journal of Functional Programming 7 (1997)

by Z M Ariola, M Felleisen
Venue:Proc. POPL'95, ACM