Call-by-push-value
- 1 April 2022
- journal article
- research article
- Published by Association for Computing Machinery (ACM) in ACM SIGLOG News
- Vol. 9 (2), 7-29
- https://doi.org/10.1145/3537668.3537670
Abstract
Call-by-push-value (CBPV) is a form of typed λ-calculus that plays a fundamental role in the study of computational effects. This article is intended to be an accessible introduction. I thank Mike Mislove and SIGLOG for inviting me to expound one of my favourite subjects.Keywords
This publication has 10 references indexed in Scilit:
- Call-by-push-value: Decomposing call-by-value and call-by-nameHigher-Order and Symbolic Computation, 2006
- Jumbo λ-CalculusLecture Notes in Computer Science, 2006
- Modelling environments in call-by-value programming languagesInformation and Computation, 2003
- Call-By-Push-ValuePublished by Springer Science and Business Media LLC ,2003
- Possible World Semantics for General Storage in Call-By-ValueLecture Notes in Computer Science, 2002
- On Full Abstraction for PCF: I, II, and IIIInformation and Computation, 2000
- Games and Full Abstraction for FPCInformation and Computation, 2000
- Call-by-Push-Value: A Subsuming ParadigmLecture Notes in Computer Science, 1999
- Notions of computation and monadsInformation and Computation, 1991
- The Category-Theoretic Solution of Recursive Domain EquationsSIAM Journal on Computing, 1982