The call-by-need lambda calculus (1993)

by Z Ariola, M Felleisen
Venue:J. Funct. Program