@Article{Maraist1998,
author = {Maraist, J and Odersky, M and Wadler, P}, 
title = {The call-by-need lambda calculus}, 
journal = {Journal of Functional Programming}, 
volume = {8}, 
number = {03}, 
pages = {275--317}, 
year = {1998}, 
abstract = {}, 
location = {}, 
keywords = {}}

{"_id":{"_str":"5342d4760e946d920a003863"},"__v":13,"authorIDs":["54589ef4b43425b772000138","54590fc9b43425b77200031b","545a175fb43425b772000c42"],"author_short":["Maraist, J","Odersky, M","Wadler, P"],"bibbaseid":"maraist-odersky-wadler-thecallbyneedlambdacalculus-1998","bibdata":{"bibtype":"article","type":"article","author":[{"propositions":[],"lastnames":["Maraist"],"firstnames":["J"],"suffixes":[]},{"propositions":[],"lastnames":["Odersky"],"firstnames":["M"],"suffixes":[]},{"propositions":[],"lastnames":["Wadler"],"firstnames":["P"],"suffixes":[]}],"title":"The call-by-need lambda calculus","journal":"Journal of Functional Programming","volume":"8","number":"03","pages":"275–317","year":"1998","abstract":"","location":"","keywords":"","bibtex":"@Article{Maraist1998,\nauthor = {Maraist, J and Odersky, M and Wadler, P}, \ntitle = {The call-by-need lambda calculus}, \njournal = {Journal of Functional Programming}, \nvolume = {8}, \nnumber = {03}, \npages = {275--317}, \nyear = {1998}, \nabstract = {}, \nlocation = {}, \nkeywords = {}}\n\n\n","author_short":["Maraist, J","Odersky, M","Wadler, P"],"key":"Maraist1998","id":"Maraist1998","bibbaseid":"maraist-odersky-wadler-thecallbyneedlambdacalculus-1998","role":"author","urls":{},"downloads":0},"bibtype":"article","biburl":"https://gist.githubusercontent.com/stuhlmueller/a37ef2ef4f378ebcb73d249fe0f8377a/raw/6f96f6f779501bd9482896af3e4db4de88c35079/references.bib","downloads":0,"keywords":[],"search_terms":["call","need","lambda","calculus","maraist","odersky","wadler"],"title":"The call-by-need lambda calculus","year":1998,"dataSources":["hEoKh4ygEAWbAZ5iy"]}