Parametricity as Subtyping
Abstract
A polymorphic function is parametric if it has uniform behavior for all type parameters. This property is useful when writing, reasoning about, and compiling functional programs.
Related papers
- On Variance-Based Subtyping for Parametric Types ECOOP 2002
- Set-theoretic foundation of parametric polymorphism and subtyping ICFP 2011
- Parametric Subtyping for Structural Parametric Polymorphism POPL 2024
- Shared subtypes: subtyping recursive parametrized algebraic data types Haskell 2008
- Variant parametric types: A flexible subtyping scheme for generics TOPLAS 2006
- Structural Subtyping as Parametric Polymorphism OOPSLA 2023
- Parametric polymorphism and semantic subtyping: the logical connection ICFP 2011
- Subtypes vs. Where Clauses: Constraining Parametric Polymorphism OOPSLA 1995