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]

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