Disjoint Polymorphism
No abstract available.
Related papers
- Row and Bounded Polymorphism via Disjoint Polymorphism ECOOP 2020
- Distributive Disjoint Polymorphism for Compositional Programming ESOP 2019
- Typed First-Class Traits ECOOP 2018
- Direct Foundations for Compositional Programming ECOOP 2022
- The Essence of Nested Composition ECOOP 2018
- Type Inference with Rank 1 Polymorphism for Type-Directed Compilation of ML ICFP 1999
- No ifs, ands, or buts: uncovering the simplicity of conditionals OOPSLA 2007
- Using Disjoint Reachability for Parallelization CC 2011