Call-by-name, call-by-value, call-by-need and the linear lambda calculus

John Maraist, Martin Odersky, David N. Turner, Philip Wadler. Call-by-name, call-by-value, call-by-need and the linear lambda calculus. Electronic Notes in Theoretical Computer Science, 1:370-392, 1995. [doi]

Abstract

Abstract is missing.