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]
@article{MaraistOTW95,
title = {Call-by-name, call-by-value, call-by-need and the linear lambda calculus},
author = {John Maraist and Martin Odersky and David N. Turner and Philip Wadler},
year = {1995},
url = {http://www.elsevier.com/gej-ng/31/29/23/26/23/show/Products/notes/index.htt#023},
researchr = {https://researchr.org/publication/MaraistOTW95},
cites = {0},
citedby = {0},
journal = {Electronic Notes in Theoretical Computer Science},
volume = {1},
pages = {370-392},
}