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]

Authors

John Maraist

This author has not been identified. Look up 'John Maraist' in Google

Martin Odersky

Identified as Martin Odersky
(Swiss Federal Institute of Technology in Lausanne
)

David N. Turner

This author has not been identified. Look up 'David N. Turner' in Google

Philip Wadler

Identified as Philip Wadler