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

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