M Odersky & P Wadler [Jan 1995], "A call by need lambda calculus (0)

by Z Ariola, M Felleisen, J Maraist
Venue:in 22nd ACM Symposium on Principles of Programming Languages