Call-by-name, call-by-value, call-by-need, and the linear lambda calculus. Maraist, J, Odersky, M, Turner, D., & Wadler, P Electronic Notes in Theoretical Computer Science, 1:370–392, 1995.
bibtex   
@Article{Maraist1995,
author = {Maraist, J and Odersky, M and Turner, DN and Wadler, P}, 
title = {Call-by-name, call-by-value, call-by-need, and the linear lambda calculus}, 
journal = {Electronic Notes in Theoretical Computer Science}, 
volume = {1}, 
number = {}, 
pages = {370--392}, 
year = {1995}, 
abstract = {}, 
location = {}, 
keywords = {}}

Downloads: 0