Call-By-Push-Value: A Functional/Imperative Synthesis

Front Cover
Springer Netherlands, Nov 30, 2003 - Computers - 352 pages
0 Reviews
Call-by-push-value is a programming language paradigm that, surprisingly, breaks down the call-by-value and call-by-name paradigms into simple primitives. This monograph, written for graduate students and researchers, exposes the call-by-push-value structure underlying a remarkable range of semantics, including operational semantics, domains, possible worlds, continuations and games.

What people are saying - Write a review

We haven't found any reviews in the usual places.

Related books

References to this book

References from web pages

Adjunction Models For Call-By-Push-Value With Stacks
Electronic Notes in Theoretical Computer Science 69 (2003). URL: 24 pages ... retrieve/ pii/ S1571066104805681

Adjunction models for call-by-push-value With stacks
Adjunction models for call-by-push-value with stacks. Paul Blain Levy. Call-by-push-value is a "semantic machine code", providing a set of simple primitives ... tac/ volumes/ 14/ 5/ 14-05abs.html

Call-By-Push-Value: A Subsuming Paradigm - Levy (researchindex)
Call by push value is a new paradigm that subsumes the call by name and call by value paradigms, in the following sense both operational and denotational ... levy99callbypushvalue.html

Call-by-push-value: A subsuming paradigm
Call-by-push-value: A subsuming paradigm. PB LEVY Lecture notes in computer science, 228-242, Springer. Call-by-push-value is a new paradigm that subsumes ... ?aModele=afficheN& cpsidt=1577451

Call-by-push-value: Decomposing call-by-value and call-by-name. Source, Higher-Order and Symbolic Computation archive Volume 19 , Issue 4 (December 2006) ... citation.cfm?id=1187999

categories: Call-By-Push-Value thesis available
To:; Subject: categories: Call-By-Push-Value thesis available; From: Paul Levy <>; Date: Tue, 26 Jun 2001 13:03:01 -0400 (EDT ... alsani/ ct01(5-8)/ msg00049.html

Paul Blain Levy Papers
Call-by-push-value. A functional/imperative synthesis, Semantic Structures in Computation, © Springer, 2004. pbLevy. ... ~pbl/ papers/

Theory and Applications of Categories, Vol. 14, No. 5, 2005, pp. 75–110. ADJUNCTION MODELS FOR CALL-BY-PUSH-VALUE WITH. STACKS. PAUL BLAIN LEVY. Abstract. ... journals/ TAC/ volumes/ 14/ 5/

D: Verification methods
Theme D: Verification methods. First year Progress Report. Coordinators: Pitts and Rosolini. Partners: Aarhus (Nielsen, Winskel), Cambridge (Gordon, Hyland, ... project/ appsem/ ReportD1.html

DBLP: Paul Blain Levy
5, Paul Blain Levy: Call-By-Push-Value: A Functional/Imperative Synthesis Springer 2004. 2003. 4 · EE, Paul Blain Levy, John Power, Hayo Thielecke: ... ~ley/ db/ indices/ a-tree/ l/ Levy:Paul_Blain.html

Bibliographic information