Call-by-name, callby -value, call-by-need, and the linear lambda calculus (1995)

by John Maraist, Martin Odersky, David N Turner, Philip Wadler
Venue:In 11'th International Conference on the Mathematical Foundations of Programming Semantics