research article

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

Maraist, John
•
Odersky, Martin  
•
Turner, David N.
Show more
1999
Theoretical Computer Science