Call-by-name, Call-by-value, Call-by-need and the Linear lambda Calculus. Maraist, J., Odersky, M., Turner, D. N., & Wadler, P. Theor. Comput. Sci., 228(1-2):175-210, 1999.
Call-by-name, Call-by-value, Call-by-need and the Linear lambda Calculus [link]Link  bibtex   
@article{ DBLP:journals/tcs/MaraistOTW99,
  author    = {John Maraist and Martin Odersky and David N. Turner and Philip Wadler},
  title     = {Call-by-name, Call-by-value, Call-by-need and the Linear lambda Calculus},
  journal   = {Theor. Comput. Sci.},
  pages   = {175-210},
  volume   = {228},
  number   = {1-2},
  ee   = {http://dx.doi.org/10.1016/S0304-3975(98)00358-2} ,
  year   = {1999}
}

Downloads: 0