Compiling Polymorphism Using Intensional Type Analysis
Abstract
The views and conclusions contained in this document are those of the authors and should not be interpreted as
Related papers
- Intensional analysis of quantified types TOPLAS 2003
- Fully reflexive intensional type analysis ICFP 2000
- Intensional Polymorphism in Type-Erasure Semantics ICFP 1998
- Intensional polymorphism in type-erasure semantics JFP 2002
- Intensional Effect Polymorphism ECOOP 2015
- Typed self-evaluation via intensional type functions POPL 2017
- Type-safe cast JFP 2004
- Type-safe cast: functional pearl ICFP 2000