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. Theoretical Computer Science, 228(1-2):175-210, 1999. [doi]

Abstract

Abstract is missing.