Polymorphic Recursion and Subtype Qualifications: Polymorphic Binding-Time Analysis in Polynomial Time
No abstract available.
Related papers
- Polymorphic specialization for ML TOPLAS 2004
- Type-base flow analysis: from polymorphic subtyping to CFL-reachability POPL 2001
- Polymorphic Binding-Time Analysis ESOP 1994
- Algorithmic Aspects of Type Inference with Subtypes POPL 1992
- PER Models of Subtyping, Recursive Types and Higher-Order Polymorphism POPL 1992
- Parametric Subtyping for Structural Parametric Polymorphism POPL 2024
- IVT: an efficient method for sharing subtype polymorphic objects OOPSLA 2019
- Polymorphism, Subtyping, Whole Program Analysis and Accurate Data Types in Usage Analysis APLAS 2006