Subtyping Constrained Types
Abstract elided by the publisher.
Related papers
- Subtypes vs. Where Clauses: Constraining Parametric Polymorphism OOPSLA 1995
- Constrained Types and Their Expressiveness TOPLAS 1996
- First-Class Constrained Types: Elaboration, Type Inference, Approximation, and a Characterization of Termination ICFP 2026
- Pragmatic Subtyping in Polymorphic Languages ICFP 1998
- Associated types and constraint propagation for mainstream object-oriented generics OOPSLA 2005
- Sound Polymorphic Type Inference for Objects OOPSLA 1995
- Logical Observable Entities OOPSLA 1998
- Polyvariant Flow Analysis with Constrained Types ESOP 2000