Sound and Decidable Type Inference for Functional Dependencies
No abstract available.
Related papers
- Understanding functional dependencies via constraint handling rules JFP 2007
- Undecidability of d<: and its decidable fragments POPL 2020
- Deciding not to Decide - Sound and Complete Effect Inference in the Presence of Higher-Rank Polymorphism ESOP 2026
- Type checking with open type functions ICFP 2008
- Type-Preserving, Dependence-Aware Guide Generation for Sound, Effective Amortized Probabilistic Inference POPL 2023
- Elaboration with first-class implicit function types ICFP 2020
- Decidable subtyping for path dependent types POPL 2020
- Gradual typing with union and intersection types ICFP 2017