@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 = {}}

{"_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"]}