The call-by-need lambda calculus

We present a calculus that captures the operational semantics of call-by-need. The call-by-need lambda calculus is confluent, has a notion of standard reduction, and entails the same observational equivalence relation as the call-by-name calculus. The system can be formulated with or without explici...

Full description

Saved in:
Bibliographic Details
Published in:Journal of functional programming Vol. 8; no. 3; pp. 275 - 317
Main Authors: MARAIST, JOHN, ODERSKY, MARTIN, WADLER, PHILIP
Format: Journal Article
Language:English
Published: Cambridge University Press 01.05.1998
ISSN:0956-7968, 1469-7653
Online Access:Get full text
Tags: Add Tag
No Tags, Be the first to tag this record!
Abstract We present a calculus that captures the operational semantics of call-by-need. The call-by-need lambda calculus is confluent, has a notion of standard reduction, and entails the same observational equivalence relation as the call-by-name calculus. The system can be formulated with or without explicit let bindings, admits useful notions of marking and developments, and has a straightforward operational interpretation.
AbstractList We present a calculus that captures the operational semantics of call-by-need. The call-by-need lambda calculus is confluent, has a notion of standard reduction, and entails the same observational equivalence relation as the call-by-name calculus. The system can be formulated with or without explicit let bindings, admits useful notions of marking and developments, and has a straightforward operational interpretation.
Author MARAIST, JOHN
ODERSKY, MARTIN
WADLER, PHILIP
Author_xml – sequence: 1
  givenname: JOHN
  surname: MARAIST
  fullname: MARAIST, JOHN
  email: maraist@cis.unisa.edu.au
  organization: School of Computer and Information Science, University of South Australia, Warrendi Road, The Levels, Adelaide, SA 5095, Australia; e-mail: maraist@cis.unisa.edu.au odersky@cis.unisa.edu.au
– sequence: 2
  givenname: MARTIN
  surname: ODERSKY
  fullname: ODERSKY, MARTIN
  email: maraist@cis.unisa.edu.au
  organization: School of Computer and Information Science, University of South Australia, Warrendi Road, The Levels, Adelaide, SA 5095, Australia; e-mail: maraist@cis.unisa.edu.au odersky@cis.unisa.edu.au
– sequence: 3
  givenname: PHILIP
  surname: WADLER
  fullname: WADLER, PHILIP
  email: wadler@research.bell-labs.com
  organization: Bell Laboratories, Lucent Technologies, 700 Mountain Ave., Room 2T-304, Murray Hill, NJ 07974-0636, USA; e-mail: wadler@research.bell-labs.com
BookMark eNp9kFFLwzAUhYNMcJv-AN_2B6L3Jm2SPurQKQ50OEF8CWmSamfXStKB-_e2bPigsKcL99zvHs4ZkUHd1J6Qc4QLBJSXz5ClQmZCZQqAA5dHZIiJyKgUKR-QYS_TXj8hoxhXAKBYqoZksvzwE2uqiuZbWnvvJpVZ5870O7upNvGUHBemiv5sP8fk5fZmOb2j88fZ_fRqTi1TXNIsYzIXuUxSZxxnBRRJLhAxKVSBAqUTyjvrpcstGuYYOHDcGNlZpSxhno8J7v7a0MQYfKG_Qrk2YasRdB9R_4vYMfIPY8vWtGVTt8GU1UGS7sgytv7718qETy0kl6kWs4V-wld8u35Y6GV3z_dOXTuhdO9er5pNqLtGDrj8APNTc-8
CitedBy_id crossref_primary_10_1016_j_entcs_2008_03_060
crossref_primary_10_1051_ita_2004018
crossref_primary_10_1145_640136_604180
crossref_primary_10_1016_j_entcs_2004_09_041
crossref_primary_10_1145_3341718
crossref_primary_10_1016_j_tcs_2009_12_001
crossref_primary_10_1016_j_tcs_2006_08_016
crossref_primary_10_1145_2528932
crossref_primary_10_1145_2499370_2462161
crossref_primary_10_1145_1594834_1480903
crossref_primary_10_1145_1631687_1596556
crossref_primary_10_1016_j_tcs_2012_02_023
crossref_primary_10_1145_2398856_2364575
crossref_primary_10_1016_j_entcs_2007_10_006
crossref_primary_10_1017_S0956796811000189
crossref_primary_10_1016_j_ic_2017_01_003
crossref_primary_10_1016_j_scico_2018_11_007
crossref_primary_10_1145_3110264
crossref_primary_10_1515_comp_2018_0009
crossref_primary_10_1016_j_scico_2019_102322
crossref_primary_10_1145_2692915_2628154
crossref_primary_10_1016_j_entcs_2008_03_058
crossref_primary_10_1145_291251_289462
crossref_primary_10_1016_j_ic_2009_11_003
crossref_primary_10_1017_S1471068412000373
crossref_primary_10_1017_S0956796809990219
ContentType Journal Article
Copyright 1998 Cambridge University Press
Copyright_xml – notice: 1998 Cambridge University Press
DBID BSCLL
AAYXX
CITATION
DOI 10.1017/S0956796898003037
DatabaseName Istex
CrossRef
DatabaseTitle CrossRef
DatabaseTitleList
DeliveryMethod fulltext_linktorsrc
Discipline Computer Science
EISSN 1469-7653
EndPage 317
ExternalDocumentID 10_1017_S0956796898003037
ark_67375_6GQ_P1X1ZBKQ_T
GroupedDBID -1D
-1F
-2P
-2V
-E.
-~6
-~N
.DC
.FH
09C
09E
0E1
29K
3V.
4.4
5GY
5VS
6OB
6~7
74X
74Y
7~V
85S
8FE
8FG
8R4
8R5
9M5
AAAZR
AABES
AABWE
AACJH
AAEED
AAFUK
AAGFV
AAKTX
AAMNQ
AANRG
AARAB
AASVR
AAUIS
AAUKB
ABBXD
ABBZL
ABEFU
ABITZ
ABJNI
ABKKG
ABMWE
ABMYL
ABQTM
ABQWD
ABROB
ABTAH
ABTCQ
ABUWG
ABVFV
ABXAU
ABZCX
ABZUI
ACBMC
ACCHT
ACETC
ACGFS
ACIMK
ACMRT
ACQFJ
ACREK
ACUIJ
ACUYZ
ACWGA
ACYZP
ACZBM
ACZUX
ACZWT
ADCGK
ADDNB
ADFEC
ADGEJ
ADKIL
ADOCW
ADOVH
ADOVT
ADVJH
AEBAK
AEBPU
AEHGV
AEMTW
AENCP
AENEX
AENGE
AEYYC
AFFUJ
AFKQG
AFKRA
AFKSM
AFLOS
AFLVW
AFUTZ
AGABE
AGBYD
AGJUD
AGLWM
AGOOT
AHQXX
AHRGI
AIGNW
AIHIV
AIOIP
AISIE
AJ7
AJCYY
AJPFC
AJQAS
AKZCZ
ALMA_UNASSIGNED_HOLDINGS
ALVPG
ALWZO
AQJOH
ARABE
ARAPS
ARZZG
ATUCA
AUXHV
AYIQA
AZQEC
BBLKV
BCGOX
BENPR
BESQT
BGHMG
BGLVJ
BJBOZ
BLZWO
BMAJL
BPHCQ
BQFHP
C0O
CAG
CBIIA
CCPQU
CCQAD
CCTKK
CCUQV
CDIZJ
CFAFE
CFBFF
CGQII
CHEAL
CJCSC
COF
CS3
D-I
DC4
DOHLZ
DU5
DWQXO
EBS
EGQIC
EJD
GNUQQ
HCIFZ
HG-
HST
I.6
I.7
I.9
IH6
IKXGN
IOEEP
IOO
IPYYG
IS6
I~P
J36
J38
J3A
JHPGK
JQKCU
K6V
K7-
KAFGG
KC5
KCGVB
KFECR
L98
LHUNA
LW7
M-V
M0N
M7~
M8.
NIKVX
NMFBF
NZEOI
OK1
OYBOY
P2P
P62
PQQKQ
PROAC
PYCCK
Q2X
RAMDC
RCA
RIG
ROL
RR0
S6-
S6U
SAAAG
T9M
TWZ
UT1
WFFJZ
WQ3
WXU
WXY
WYP
YYM
ZDLDU
ZJOSE
ZMEZD
ZY4
ZYDXJ
~V1
0R~
AAKNA
AATMM
ABGDZ
ABVKB
ABVZP
ABXHF
ACAJB
ACDLN
ACEJA
ACRPL
ADNMO
AEMFK
AFZFC
AGQPQ
AKMAY
AMVHM
ANOYL
BSCLL
M48
PHGZM
PHGZT
PQGLB
PUEGO
AAYXX
AFFHD
CITATION
ID FETCH-LOGICAL-c2837-9927b6b745dad32f0f4b61114f8f1617d68edce7dbc1a2d20d0d3aa7bda5242e3
IEDL.DBID IKXGN
ISSN 0956-7968
IngestDate Sat Nov 29 07:49:05 EST 2025
Tue Nov 18 21:13:32 EST 2025
Sun Aug 31 06:50:38 EDT 2025
Wed Mar 13 05:50:14 EDT 2024
IsDoiOpenAccess false
IsOpenAccess true
IsPeerReviewed true
IsScholarly true
Issue 3
Language English
License https://www.cambridge.org/core/terms
LinkModel DirectLink
MergedId FETCHMERGED-LOGICAL-c2837-9927b6b745dad32f0f4b61114f8f1617d68edce7dbc1a2d20d0d3aa7bda5242e3
Notes ark:/67375/6GQ-P1X1ZBKQ-T
istex:F659CB3DF6F64F9CB172F6BB46C0DF9AC4FBB62C
PII:S0956796898003037
OpenAccessLink https://www.cambridge.org/core/services/aop-cambridge-core/content/view/7EDF4164D2F6EFBB5D36544D5390151A/S0956796898003037a.pdf/div-class-title-the-call-by-need-lambda-calculus-div.pdf
PageCount 43
ParticipantIDs crossref_primary_10_1017_S0956796898003037
crossref_citationtrail_10_1017_S0956796898003037
istex_primary_ark_67375_6GQ_P1X1ZBKQ_T
cambridge_journals_10_1017_S0956796898003037
PublicationCentury 1900
PublicationDate 1998-05
PublicationDateYYYYMMDD 1998-05-01
PublicationDate_xml – month: 05
  year: 1998
  text: 1998-05
PublicationDecade 1990
PublicationTitle Journal of functional programming
PublicationTitleAlternate J. Funct. Prog
PublicationYear 1998
Publisher Cambridge University Press
Publisher_xml – name: Cambridge University Press
SSID ssj0008258
Score 1.7815344
Snippet We present a calculus that captures the operational semantics of call-by-need. The call-by-need lambda calculus is confluent, has a notion of standard...
SourceID crossref
istex
cambridge
SourceType Enrichment Source
Index Database
Publisher
StartPage 275
Title The call-by-need lambda calculus
URI https://www.cambridge.org/core/product/identifier/S0956796898003037/type/journal_article
https://api.istex.fr/ark:/67375/6GQ-P1X1ZBKQ-T/fulltext.pdf
Volume 8
hasFullText 1
inHoldings 1
isFullTextHit
isPrint
journalDatabaseRights – providerCode: PRVAEN
  databaseName: Cambridge University Press Wholly Gold Open Access Journals
  customDbUrl:
  eissn: 1469-7653
  dateEnd: 99991231
  omitProxy: false
  ssIdentifier: ssj0008258
  issn: 0956-7968
  databaseCode: IKXGN
  dateStart: 19910101
  isFulltext: true
  titleUrlDefault: http://journals.cambridge.org/action/login
  providerName: Cambridge University Press
link http://cvtisr.summon.serialssolutions.com/2.0.0/link/0/eLvHCXMwtV3NS8MwFH_MzYMX5yfOL3oQD2JYP9KmOao4lcHYcELxEpKmheGoo5ui_71Jm5apMPDgNSSP5r3X95G8_B7AmSNdnAieIjdVuSomkiJB0hAp15kI35ap7Yui2QQZDMIoosMGRNVbGF1WWWMcFDf5RX-0WQl_2p3IsoYmybuPGkKP0CCkodZUj3T1oWXXiIAZxq9BS0UwrvplWw_96G5QW2mVGYUVDp-mUt14FnDSPygv4y58818tLYqPJYfUa__fVrZg0wSp1lU5sg2NJNuBdtUAwjL2YBcspWSWEvIUiU-UKT9oKf0Skusxfaw434On3u345h6Zlgso1jA4iFKXiEAQ7EsuPSW_FItAmUOchqnOhGQQ6rJRIkXscFe6trSlxzlRpH3l7BNvH5rZa5YcgCU9LKmw_Zi7DhYccxVY-janmIhY5aBeBy5r7jCz1Tkri84I-8WSDtgV31ls4Mt1F43pqiUX9ZJZid2xavJ5Icx6Js9fdNEb8VlwN2JDJ3Ker_sjNj7823cfwUb5jFHXSB5Dc5G_JSewHr8vJvP81GjlF_Oj6xg
linkProvider Cambridge University Press
linkToHtml http://cvtisr.summon.serialssolutions.com/2.0.0/link/0/eLvHCXMwtV1LSwMxEB5qK-jF-sT63IN4EJd9ZTe7RxX7oHVpscLiJSSbXSiWtWyr6L832RdVoeDBa0iGZGbIZJIv3wBcGNxEEaOxasYiV0WYeyrDsauK0BkxW-exbrOs2AT2fTcIvGENgvIvjIRVVhwH2Ut-Vh9tltOfahOeY2iiVHuUFHrYc1zPlZ5qYU1eWmqFCUih-DVoiIBpozo0ev2g41e7tMiM3JKHT0opXzwzOukfkpd5F77Fr4Y0xcdSQGo3_28p27BVHFKVm7xlB2pRsgvNsgCEUuwHe6AIJ1OEkacq-1QTEQcV4V-MU9kmrxXn-_DUvh_fddWi5IIaShoc1fNMzByGkc0pt4T9YsQcsR2i2I1lJsQdV8JGMWehQU1u6lznFqVYiLZFsI-sA6gnr0l0CAq3EPeYbofUNBCjiIqDpa1TD2EWihzUasF1pR1SLHVOctAZJr9U0gK91DsJC_pyWUVjumrIVTVklnN3rOp8mRmz6knTFwl6wzZxOiMyNALj-bY_IuOjv837HDa644cBGfT8_jFs5l8aJV7yBOqL9C06hfXwfTGZp2eFh34BNczuEA
openUrl ctx_ver=Z39.88-2004&ctx_enc=info%3Aofi%2Fenc%3AUTF-8&rfr_id=info%3Asid%2Fsummon.serialssolutions.com&rft_val_fmt=info%3Aofi%2Ffmt%3Akev%3Amtx%3Ajournal&rft.genre=article&rft.atitle=The+call-by-need+lambda+calculus&rft.jtitle=Journal+of+functional+programming&rft.au=MARAIST%2C+JOHN&rft.au=ODERSKY%2C+MARTIN&rft.au=WADLER%2C+PHILIP&rft.date=1998-05-01&rft.issn=0956-7968&rft.eissn=1469-7653&rft.volume=8&rft.issue=3&rft.spage=275&rft.epage=317&rft_id=info:doi/10.1017%2FS0956796898003037&rft.externalDBID=n%2Fa&rft.externalDocID=10_1017_S0956796898003037
thumbnail_l http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=/lc.gif&issn=0956-7968&client=summon
thumbnail_m http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=/mc.gif&issn=0956-7968&client=summon
thumbnail_s http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=/sc.gif&issn=0956-7968&client=summon