Union and intersection types

Boolean-Algebraic Subtyping: Intersections, Unions, Negations, and Principal Type Inference
Intersection and union types are becoming more popular by the day, entering the mainstream in programming languages like TypeScript and …
PDF Cite
super-Charging Object-Oriented Programming Through Precise Typing of Open Recursion
We present a new variation of object-oriented programming built around three simple and orthogonal constructs: classes for storing …
PDF Cite DOI Github Project View on conference website
MLstruct: Principal Type Inference in a Boolean Algebra of Structural Types
Intersection and union types are becoming more popular by the day, entering the mainstream in programming languages like TypeScript and …
PDF Cite Video DOI Github Project View on conference website