Call-By-Push-Value: Decomposing Call-By-Value and Call-By-Name

Research output: Contribution to journal › Article

37 Citations (Scopus)

Original language	English
Pages (from-to)	377-414
Number of pages	38
Journal	Higher-Order and Symbolic Computation
Volume	19
Issue number	4
DOIs	https://doi.org/10.1007/s10990-006-0480-6
Publication status	Published - 1 Dec 2006

Access to Document

@article{7ad2d8e14e454d07b1b74b8dcae6e06d,

title = "Call-By-Push-Value: Decomposing Call-By-Value and Call-By-Name",

author = "Paul Levy",

year = "2006",

month = dec,

day = "1",

doi = "10.1007/s10990-006-0480-6",

language = "English",

volume = "19",

pages = "377--414",

journal = "Higher-Order and Symbolic Computation",

issn = "1573-0557",

publisher = "Springer",

number = "4",

}

TY - JOUR

T1 - Call-By-Push-Value: Decomposing Call-By-Value and Call-By-Name

AU - Levy, Paul

PY - 2006/12/1

Y1 - 2006/12/1

UR - http://www.scopus.com/inward/record.url?scp=33751524153&partnerID=8YFLogxK

U2 - 10.1007/s10990-006-0480-6

DO - 10.1007/s10990-006-0480-6

M3 - Article

SN - 1573-0557

VL - 19

SP - 377

EP - 414

JO - Higher-Order and Symbolic Computation

JF - Higher-Order and Symbolic Computation

IS - 4

ER -