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

by J Maraist, M Odersky, D N Turner, P Wadler
Venue:in: Proc. MFPS'95: Eleventh Conf. on the Mathematical Foundations of Programming Semantics (Elsevier Publishers, ENTCS 1