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
Citations:28 - 5 self

Document Versions

Call-by-Name, Call-by-Value, Call-by-Need, and the Linear Lambda Calculus –John Maraist, Martin Odersky, David N. Turner, Philip Wadler — 1994
Call-by-Name, Call-by-Value, Call-by-Need, and the Linear Lambda Calculus –J. Maraist, M. Odersky, D.N. Turner, P. Wadler — 1998
Call-by-Name, Call-by-Value, Call-by-Need, and the Linear Lambda Calculus –John Maraist, Martin Odersky, David N. Turner, Philip Wadler — 1995