Call-By-Push-Value: A Functional/Imperative Synthesis
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
Mathematical Foundations of Programming Semantics: 9th International ...
Limited preview - 1994
Adjunction Models For Call-By-Push-Value With Stacks
Electronic Notes in Theoretical Computer Science 69 (2003). URL: http://www.elsevier.nl/locate/entcs/volume69.html 24 pages ...
linkinghub.elsevier.com/ 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.mta.ca/ 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 ...
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 ...
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) ...
categories: Call-By-Push-Value thesis available
To: firstname.lastname@example.org; Subject: categories: Call-By-Push-Value thesis available; From: Paul Levy <email@example.com>; Date: Tue, 26 Jun 2001 13:03:01 -0400 (EDT ...
north.ecc.edu/ 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. ...
www.cs.bham.ac.uk/ ~pbl/ papers/
ADJUNCTION MODELS FOR CALL-BY-PUSH-VALUE WITH STACKS 1. Introduction
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. ...
www.emis.de/ journals/ TAC/ volumes/ 14/ 5/ 14-05.ps
D: Verification methods
Theme D: Verification methods. First year Progress Report. Coordinators: Pitts and Rosolini. Partners: Aarhus (Nielsen, Winskel), Cambridge (Gordon, Hyland, ...
www.disi.unige.it/ 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: ...
www.informatik.uni-trier.de/ ~ley/ db/ indices/ a-tree/ l/ Levy:Paul_Blain.html