Call-By-Name CPS-Translation as a Binding-Time Improvement
Abstract elided by the publisher.
Related papers
- Syntactic accidents in program analysis: on the impact of the CPS transformation ICFP 2000
- Syntactic accidents in program analysis: on the impact of the CPS transformation JFP 2003
- Type-preserving CPS translation of Σ and Π types is not not possible POPL 2018
- Call-by-value is dual to call-by-name ICFP 2003
- The duality of computation ICFP 2000
- Named Arguments as Intersections, Optional Arguments as Unions ESOP 2025
- A Reflection on Call-by-Value TOPLAS 1997
- Explicit Polymorphism and CPS Conversion POPL 1993