Abstracts.2020.CBPV

Call-By-Push-Value

by Andreas Abel

Abstract

This will be a talk about call-by-push-value.

The main reference is Paul Levy's PhD thesis [1].

Below is an excerpt of the abstract.

"Call-by-push-value (CBPV) is a new programming language paradigm, based on the slogan “a value is, a computation does”. We claim that CBPV provides the semantic primitives from which the call-by-value and call-by-name paradigms are built…"

If you are curious on why to care about CBPV, check out the FAQ [1].

References

1. ^ ^{a b} Paul Blain Levy. 2001. Call-By-Push-Value. Thesis, FAQ.

Bibliography

1. Paul Blain Levy. 2006. Call-By-Push-Value: Decomposing Call-By-Value and Call-By-Name. HOSC paper.
2. Paul Blain Levy. 2016. A Tutorial on Call-By-Push-Value. Slides.
3. Frank Pfenning. 2016. 15-816 Substructural Logics: Call-by-Push-Value. Notes.
4. Andreas Abel and Christian Sattler. 2019. Normalization by Evaluation for Call-By-Push-Value and Polarized Lambda-Calculus. PPDP paper.