Open Call-by-Value
Abstract elided by the publisher.
Related papers
- CPS transformation with affine types for call-by-value implicit polymorphism ICFP 2021
- On the Versatility of Open Logical Relations - Continuity, Automatic Differentiation, and a Containment Theorem ESOP 2020
- A bisimulation for dynamic sealing POPL 2004
- The weak call-by-value λ-calculus is reasonable for both time and space POPL 2020
- Taming MATLAB OOPSLA 2012
- Behavioural Equivalence via Modalities for Algebraic Effects ESOP 2018
- Behavioural Equivalence via Modalities for Algebraic Effects TOPLAS 2020
- Value-centric dynamic partial order reduction OOPSLA 2019