Certifying CPS Transformation of Let-Polymorphic Calculus Using PHOAS
No abstract available.
Related papers
- A type system for certified binaries TOPLAS 2005
- Linearly Used Effects: Monadic and CPS Transformations into the Linear Lambda Calculus APLAS 2001
- Implementing first-class polymorphic delimited continuations by a type-directed selective CPS-transform ICFP 2009
- CPS transformation with affine types for call-by-value implicit polymorphism ICFP 2021
- Self-Representation in Girard's System U POPL 2015
- On Higher-Order Model Checking of Effectful Answer-Type-Polymorphic Programs OOPSLA 2025
- Handling Polymorphic Algebraic Effects ESOP 2019
- CPS in little pieces: composing partial continuations JFP 2002