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.
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
{"_id":{"_str":"534251e70e946d920a00088f"},"__v":16,"authorIDs":["54589ef4b43425b772000138","5458b5e9b43425b7720001a7","54590fc9b43425b77200031b","545a175fb43425b772000c42"],"author_short":["Maraist, J.","Odersky, M.","Turner, D. N.","Wadler, P."],"bibbaseid":"maraist-odersky-turner-wadler-callbynamecallbyvaluecallbyneedandthelinearlambdacalculus-1999","bibdata":{"bibtype":"article","type":"article","author":[{"firstnames":["John"],"propositions":[],"lastnames":["Maraist"],"suffixes":[]},{"firstnames":["Martin"],"propositions":[],"lastnames":["Odersky"],"suffixes":[]},{"firstnames":["David","N."],"propositions":[],"lastnames":["Turner"],"suffixes":[]},{"firstnames":["Philip"],"propositions":[],"lastnames":["Wadler"],"suffixes":[]}],"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","bibtex":"@article{ DBLP:journals/tcs/MaraistOTW99,\n author = {John Maraist and Martin Odersky and David N. Turner and Philip Wadler},\n title = {Call-by-name, Call-by-value, Call-by-need and the Linear lambda Calculus},\n journal = {Theor. Comput. Sci.},\n pages = {175-210},\n volume = {228},\n number = {1-2},\n ee = {http://dx.doi.org/10.1016/S0304-3975(98)00358-2} ,\n year = {1999}\n}\n\n\n","author_short":["Maraist, J.","Odersky, M.","Turner, D. N.","Wadler, P."],"key":"DBLP:journals/tcs/MaraistOTW99","id":"DBLP:journals/tcs/MaraistOTW99","bibbaseid":"maraist-odersky-turner-wadler-callbynamecallbyvaluecallbyneedandthelinearlambdacalculus-1999","role":"author","urls":{"Link":"http://dx.doi.org/10.1016/S0304-3975(98)00358-2"},"downloads":0},"bibtype":"article","biburl":"http://data.bibbase.org/author/martin-odersky/?format=bibtex","downloads":0,"keywords":[],"search_terms":["call","name","call","value","call","need","linear","lambda","calculus","maraist","odersky","turner","wadler"],"title":"Call-by-name, Call-by-value, Call-by-need and the Linear lambda Calculus","year":1999,"dataSources":["RexuNeJfyGvTgifM3"]}