Encoding Monomorphic and Polymorphic Types
No abstract available.
Related papers
- The Simple Essence of Monomorphization OOPSLA 2025
- Logarithm and program testing POPL 2022
- Quantifier Elimination and Parametric Polymorphism in Programming Languages JFP 1992
- Polymorphic versus Monomorphic Flow-Insensitive Points-to Analysis for C SAS 2000
- Miniboxing: improving the speed to code size tradeoff in parametric polymorphism translations OOPSLA 2013
- A library for polymorphic dynamic typing JFP 2013
- Type-indexed rows POPL 2001
- Parametric polymorphism for XML POPL 2005