Flow-Directed Closure Conversion for Typed Languages
Abstract elided by the publisher.
Related papers
- Strongly Typed Flow-Directed Representation Transformations ICFP 1997
- Typed Closure Conversion POPL 1996
- Selective and Lightweight Closure Conversion POPL 1994
- Lightweight Closure Conversion TOPLAS 1997
- From Call-by-Value to Interaction by Typed Closure Conversion APLAS 2015
- Efficient and safe-for-space closure conversion TOPLAS 2000
- Typed closure conversion preserves observational equivalence ICFP 2008
- Typed closure conversion for the calculus of constructions PLDI 2018