Type Inference for Partial Types is Decidable
Abstract elided by the publisher.
Related papers
- Algorithmic Aspects of Type Inference with Subtypes POPL 1992
- Local Contextual Type Inference POPL 2026
- Sound and Decidable Type Inference for Functional Dependencies ESOP 2004
- Complete and decidable type inference for GADTs ICFP 2009
- Elementary Type Inference ECOOP 2022
- Principality and Decidable Type Inference for Finite-Rank Intersection Types POPL 1999
- Deciding not to Decide - Sound and Complete Effect Inference in the Presence of Higher-Rank Polymorphism ESOP 2026
- Simple, partial type-inference for System F based on type-containment ICFP 2005