Skip to search formSkip to main content

Call-by-push-value

In programming language theory, the call-by-push-value (CBPV) paradigm, inspired by monads, allows writing semantics for lambda-calculus without… Expand
Wikipedia

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2020
2020
The connection between the Call-By-Push-Value lambda-calculus introduced by Levy and Linear Logic introduced by Girard has been… Expand
  • figure 5
  • figure 6
  • figure 7
Is this relevant?
2018
2018
There is no known way of giving a domain-theoretic semantics to higher-order probabilistic languages, in such a way that the… Expand
  • figure 2
Is this relevant?
2018
2018
Establishing that two programs are contextually equivalent is hard, yet essential for reasoning about semantics preserving… Expand
  • figure 2
  • figure 3
  • figure 5
  • figure 6
  • figure 7
Is this relevant?
2016
2016
We introduce a probabilistic extension of Levy's Call-By-Push-Value. This extension consists simply in adding a " flipping coin… Expand
  • figure 1
  • figure 2
  • figure 3
Is this relevant?
2016
2016
We introduce and study the Bang Calculus, an untyped functional calculus in which the promotion operation of Linear Logic is made… Expand
  • figure 1
  • figure 2
Is this relevant?
2006
2006
We present the call-by-push-value (CBPV) calculus, which decomposes the typed call-by-value (CBV) and typed call-by-name (CBN… Expand
  • figure 1
  • figure 4
  • figure 5
  • figure 6
  • figure 7
Is this relevant?
Highly Cited
2003
Highly Cited
2003
List of Figures. Preface. Acknowledgements. Introduction. I.1. Computational Effects. I.2. Reconciling CBN and CBV. I.3. the Case… Expand
Is this relevant?
2002
2002
Call-by-push-value is a "semantic machine code", providing a set of simple primitives from which both the call-by-value and call… Expand
  • figure 1
  • figure 2
  • figure 7
  • figure 9
  • figure 10
Is this relevant?
2001
2001
Call-by-push-value (CBPV) is a new programming language paradigm, based on the slogan “a value is, a computation does”. We claim… Expand
  • figure 1.1
  • figure 2.1
  • figure 2.2
  • figure 2.3
  • figure 3.1
Is this relevant?
Highly Cited
1999
Highly Cited
1999
Call-by-push-value is a new paradigm that subsumes the call-by-name and call-by-value paradigms, in the following sense: both… Expand
Is this relevant?