Call-by-name, call-by-value, call-by-need and the linear lambda calculus : John Maraist, Martin Odersky, David N. Turner and Philip Wadler http://www.elsevier.nl/locate/entcs/volume1/maraist

• Publisher: Elsevier Science
• Year: 1995
• Tongue: English
• Weight: 80 KB
• Volume: 152
• Category: Article
• ISSN: 0304-3975
• DOI: 10.1016/0304-3975(96)80134-4