Principal type inference

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 …

Lionel Parreaux, Chun Yin Chau