John Maraist, Martin Odersky, David N. Turner, Philip Wadler. Call-by-name, Call-by-value, Call-by-need and the Linear lambda Calculus. Theoretical Computer Science, 228(1-2):175-210, 1999. [doi]
@article{MaraistOTW99, 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 = {1999}, doi = {10.1016/S0304-3975(98)00358-2}, url = {http://dx.doi.org/10.1016/S0304-3975(98)00358-2}, researchr = {https://researchr.org/publication/MaraistOTW99}, cites = {0}, citedby = {0}, journal = {Theoretical Computer Science}, volume = {228}, number = {1-2}, pages = {175-210}, }