On Polymorphic Recursion, Type Systems, and Abstract Interpretation
No abstract available.
Related papers
- Type Fixpoints: Iteration vs. Recursion ICFP 1999
- A relational framework for higher-order shape analysis ICFP 2014
- Typed self-evaluation via intensional type functions POPL 2017
- Quantifier Elimination and Parametric Polymorphism in Programming Languages JFP 1992
- An Interpretation of Objects and Object Types POPL 1996
- Let Generalization, Polymorphic Recursion, and Variable Minimization in Boolean-Kinded Type Systems POPL 2026
- An interoperable calculus for external object access ICFP 2002
- Abstracting extensible data types: or, rows by any other name POPL 2019