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

Paul Levy

doi:10.1007/s10990-006-0480-6

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

Paul Levy

Computer Science

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

10.1007/s10990-006-0480-6

http://www.cs.bham.ac.uk/~pbl/papers/hosc05.pdf

Semantics of Nondeterminism
Levy, P. (Principal Investigator)
Engineering & Physical Science Research Council
1/12/05 → 31/08/08
Project: Research Councils

2025 Alonzo Church Award for Outstanding Contributions to Logic and Computation
Levy, P. (Recipient), 25 Feb 2026
Prize: Prize (including medals and awards)

Cite this

@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 - https://www.scopus.com/pages/publications/33751524153

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 -

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

Access to Document

Projects

Semantics of Nondeterminism

Prizes

2025 Alonzo Church Award for Outstanding Contributions to Logic and Computation

Cite this