On Variance-Based Subtyping for Parametric Types
Abstract elided by the publisher.
Related papers
- Variant parametric types: A flexible subtyping scheme for generics TOPLAS 2006
- Taming the wildcards: combining definition- and use-site variance PLDI 2011
- Study of the subtyping machine of nominal subtyping with variance OOPSLA 2021
- On Satisfiability of Nominal Subtyping with Variance ECOOP 2019
- Harmonizing classes, functions, tuples, and type parameters in virgil iii PLDI 2013
- Polymorphic symmetric multiple dispatch with variance POPL 2019
- Decidable Subtyping of Existential Types for Julia PLDI 2024
- Shared subtypes: subtyping recursive parametrized algebraic data types Haskell 2008