Call-By-Push-Value from a Linear Logic Point of View
Abstract elided by the publisher.
Related papers
- Commuting Conversions and Join Points for Call-by-Push-Value OOPSLA 2026
- Call-by-push-value in coq: operational, equational, and denotational theory CPP 2019
- Abstract Operational Methods for Call-by-Push-Value POPL 2025
- A theory of effects and resources: adjunction models and polarised calculi POPL 2016
- Polarized Subtyping ESOP 2022
- Classical Notions of Computation and the Hasegawa-Thielecke Theorem POPL 2026
- Linear Effects, Exceptions, and Resource Safety - A Curry-Howard Correspondence for Destructors ESOP 2026
- Computation focusing ICFP 2020