Partial CPS Transformation Using Static Annotation
No abstract available.
Related papers
- CPS in little pieces: composing partial continuations JFP 2002
- Finally tagless, partially evaluated: Tagless staged interpreters for simpler typed languages JFP 2009
- Implementing first-class polymorphic delimited continuations by a type-directed selective CPS-transform ICFP 2009
- CPS transformation of flow information JFP 2003
- Syntactic accidents in program analysis: on the impact of the CPS transformation JFP 2003
- A Generic Account of Continuation-Passing Styles POPL 1994
- AnyDSL: a partial evaluation framework for programming high-performance libraries OOPSLA 2018
- Is Continuation-Passing Useful for Data Flow Analysis? PLDI 1994