Call-by-Name, Call-by-Value, Call-by-Need, and the Linear Lambda Calculus (1994)

by John Maraist, Martin Odersky, David N. Turner, Philip Wadler