Finite Subtype Inference with Explicit Polymorphism
Abstract elided by the publisher.
Related papers
- Elementary Type Inference ECOOP 2022
- Explicit Effect Subtyping ESOP 2018
- Explicit effect subtyping JFP 2020
- Object-Oriented Type Inference OOPSLA 1991
- Polymorphism, subtyping, and type inference in MLsub POPL 2017
- Type-base flow analysis: from polymorphic subtyping to CFL-reachability POPL 2001
- Bidirectional Higher-Rank Polymorphism with Intersection and Union Types POPL 2025
- Type Inference with Subtypes POPL 1988