Sound and Complete Flow Typing with Unions, Intersections and Negations
No abstract available.
Related papers
- Rewriting for sound and complete union, intersection and negation types GPCE 2017
- The Simple Essence of Boolean-Algebraic Subtyping: Semantic Soundness for Algebraic Union, Intersection, Negation, and Equi-recursive Types POPL 2026
- Bidirectional Higher-Rank Polymorphism with Intersection and Union Types POPL 2025
- MLstruct: principal type inference in a Boolean algebra of structural types OOPSLA 2022
- Semantic subtyping for imperative object-oriented languages OOPSLA 2016
- Polymorphic Functions with Set-Theoretic Types: Part 2: Local Type Inference and Type Reconstruction POPL 2015
- Polymorphic functions with set-theoretic types: part 1: syntax, semantics, and evaluation POPL 2014
- Distributing intersection and union types with splits and duality (functional pearl) ICFP 2021