Type-Directed Flow Analysis for Typed Intermediate Languages
No abstract available.
Related papers
- Webs and Flow-Directed Well-Typedness Preserving Program Transformations PLDI 2025
- Strongly Typed Flow-Directed Representation Transformations ICFP 1997
- AspectML: A polymorphic aspect-oriented functional programming language TOPLAS 2008
- PolyAML: a polymorphic aspect-oriented functional programming language ICFP 2005
- Scalable context-sensitive flow analysis using instantiation constraints PLDI 2000
- A Typed Intermediate Representation for Dynamic Languages TOPLAS 2026
- Flow-Directed Closure Conversion for Typed Languages ESOP 2000
- Functioning without Closure: Type-Safe Customized Function Representations for Standard ML ICFP 2001