The call-by-need lambda calculus, revisited

Stephen Chang; Matthias Felleisen

doi:10.1007/978-3-642-28869-2_7

The call-by-need lambda calculus, revisited

Stephen Chang
, Matthias Felleisen

Computer Science

Northeastern University

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

Original language	English
Title of host publication	Programming Languages and Systems - 21st European Symposium on Programming, ESOP 2012, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2012, Proceedings
Pages	128-147
Number of pages	20
DOIs	https://doi.org/10.1007/978-3-642-28869-2_7
State	Published - 2012
Event	21st European Symposium on Programming, ESOP 2012, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2012 - Tallinn, Estonia Duration: Mar 24 2012 → Apr 1 2012

Publication series

Name	Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume	7211 LNCS
ISSN (Print)	0302-9743
ISSN (Electronic)	1611-3349

Conference

Conference	21st European Symposium on Programming, ESOP 2012, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2012
Country/Territory	Estonia
City	Tallinn
Period	3/24/12 → 4/1/12

ASJC Scopus Subject Areas

Theoretical Computer Science
General Computer Science

Keywords

call-by-need
lambda calculus
laziness

Access to Document

10.1007/978-3-642-28869-2_7

Cite this

Chang, S., & Felleisen, M. (2012). The call-by-need lambda calculus, revisited. In Programming Languages and Systems - 21st European Symposium on Programming, ESOP 2012, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2012, Proceedings (pp. 128-147). (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 7211 LNCS). https://doi.org/10.1007/978-3-642-28869-2_7

The call-by-need lambda calculus, revisited. / Chang, Stephen; Felleisen, Matthias.
Programming Languages and Systems - 21st European Symposium on Programming, ESOP 2012, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2012, Proceedings. 2012. p. 128-147 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 7211 LNCS).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

Chang, S & Felleisen, M 2012, The call-by-need lambda calculus, revisited. in Programming Languages and Systems - 21st European Symposium on Programming, ESOP 2012, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2012, Proceedings. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), vol. 7211 LNCS, pp. 128-147, 21st European Symposium on Programming, ESOP 2012, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2012, Tallinn, Estonia, 3/24/12. https://doi.org/10.1007/978-3-642-28869-2_7

Chang S, Felleisen M. The call-by-need lambda calculus, revisited. In Programming Languages and Systems - 21st European Symposium on Programming, ESOP 2012, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2012, Proceedings. 2012. p. 128-147. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)). doi: 10.1007/978-3-642-28869-2_7

Chang, Stephen ; Felleisen, Matthias. / The call-by-need lambda calculus, revisited. Programming Languages and Systems - 21st European Symposium on Programming, ESOP 2012, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2012, Proceedings. 2012. pp. 128-147 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)).

@inproceedings{a499a2909aa8426b804f2b577ce6976f,

title = "The call-by-need lambda calculus, revisited",

keywords = "call-by-need, lambda calculus, laziness",

author = "Stephen Chang and Matthias Felleisen",

year = "2012",

doi = "10.1007/978-3-642-28869-2\_7",

language = "English",

isbn = "9783642288685",

series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",

pages = "128--147",

booktitle = "Programming Languages and Systems - 21st European Symposium on Programming, ESOP 2012, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2012, Proceedings",

note = "21st European Symposium on Programming, ESOP 2012, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2012 ; Conference date: 24-03-2012 Through 01-04-2012",

}

TY - GEN

T1 - The call-by-need lambda calculus, revisited

AU - Chang, Stephen

AU - Felleisen, Matthias

PY - 2012

Y1 - 2012

KW - call-by-need

KW - lambda calculus

KW - laziness

UR - https://www.scopus.com/pages/publications/84859149991

UR - https://www.scopus.com/pages/publications/84859149991#tab=citedBy

U2 - 10.1007/978-3-642-28869-2_7

DO - 10.1007/978-3-642-28869-2_7

M3 - Conference contribution

AN - SCOPUS:84859149991

SN - 9783642288685

T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

SP - 128

EP - 147

BT - Programming Languages and Systems - 21st European Symposium on Programming, ESOP 2012, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2012, Proceedings

T2 - 21st European Symposium on Programming, ESOP 2012, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2012

Y2 - 24 March 2012 through 1 April 2012

ER -

The call-by-need lambda calculus, revisited

Publication series

Conference

ASJC Scopus Subject Areas

Keywords

Access to Document

Other files and links

Fingerprint

Cite this