Constraint-Based Type Inference and Parametric Polymorphism
No abstract available.
Related papers
- The Cartesian Product Algorithm: Simple and Precise Type Inference Of Parametric Polymorphism ECOOP 1995
- Polymorphic types and effects with Boolean unification OOPSLA 2020
- Quantifier Elimination and Parametric Polymorphism in Programming Languages JFP 1992
- Polymorphism, subtyping, and type inference in MLsub POPL 2017
- Type-indexed rows POPL 2001
- Subtypes vs. Where Clauses: Constraining Parametric Polymorphism OOPSLA 1995
- Static Type Inference for Parametric Classes OOPSLA 1989
- Associated types and constraint propagation for mainstream object-oriented generics OOPSLA 2005