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
{"_id":{"_str":"5342d4760e946d920a003862"},"__v":17,"authorIDs":["54589ef4b43425b772000138","5458b5e9b43425b7720001a7","54590fc9b43425b77200031b","545a175fb43425b772000c42"],"author_short":["Maraist, J","Odersky, M","Turner, D.","Wadler, P"],"bibbaseid":"maraist-odersky-turner-wadler-callbynamecallbyvaluecallbyneedandthelinearlambdacalculus-1995","bibdata":{"bibtype":"article","type":"article","author":[{"propositions":[],"lastnames":["Maraist"],"firstnames":["J"],"suffixes":[]},{"propositions":[],"lastnames":["Odersky"],"firstnames":["M"],"suffixes":[]},{"propositions":[],"lastnames":["Turner"],"firstnames":["DN"],"suffixes":[]},{"propositions":[],"lastnames":["Wadler"],"firstnames":["P"],"suffixes":[]}],"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":"","bibtex":"@Article{Maraist1995,\nauthor = {Maraist, J and Odersky, M and Turner, DN and Wadler, P}, \ntitle = {Call-by-name, call-by-value, call-by-need, and the linear lambda calculus}, \njournal = {Electronic Notes in Theoretical Computer Science}, \nvolume = {1}, \nnumber = {}, \npages = {370--392}, \nyear = {1995}, \nabstract = {}, \nlocation = {}, \nkeywords = {}}\n\n\n","author_short":["Maraist, J","Odersky, M","Turner, D.","Wadler, P"],"key":"Maraist1995","id":"Maraist1995","bibbaseid":"maraist-odersky-turner-wadler-callbynamecallbyvaluecallbyneedandthelinearlambdacalculus-1995","role":"author","urls":{},"downloads":0},"bibtype":"article","biburl":"https://gist.githubusercontent.com/stuhlmueller/a37ef2ef4f378ebcb73d249fe0f8377a/raw/6f96f6f779501bd9482896af3e4db4de88c35079/references.bib","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":1995,"dataSources":["hEoKh4ygEAWbAZ5iy"]}