Subtyping First-Class Polymorphic Components
No abstract available.
Related papers
- Decidable subtyping for path dependent types POPL 2020
- When Subtyping Constraints Liberate: A Novel Type Inference Approach for First-Class Polymorphism POPL 2024
- First-Class Constrained Types: Elaboration, Type Inference, Approximation, and a Characterization of Termination ICFP 2026
- Seamless Scope-Safe Metaprogramming through Polymorphic Subtype Inference (Short Paper) GPCE 2024
- First-class Polymorphism with Type Inference POPL 1997
- Type inference, principal typings, and let-polymorphism for first-class mixin modules ICFP 2005
- Polymorphic Type Inference and Abstract Data Types TOPLAS 1994
- Extensible objects without labels TOPLAS 2004