A flow-based approach for variant parametric types
Abstract
10.1145/1167473.1167498
DOI 10.1145/1167473.1167498
Related papers
- An Interval-Based Inference of Variant Parametric Types ESOP 2009
- Variant parametric types: A flexible subtyping scheme for generics TOPLAS 2006
- Distributed programming using role-parametric session types in go: statically-typed endpoint APIs for dynamically-instantiated communication structures POPL 2019
- Structural Subtyping as Parametric Polymorphism OOPSLA 2023
- Non-parametric parametricity JFP 2011
- A type system equivalent to a model checker TOPLAS 2008
- Polymorphic variants in Haskell Haskell 2006
- Translating dependency into parametricity ICFP 2004