Chun Yin Chau

MLstruct: principal type inference in a Boolean algebra of structural types

2022 · Proceedings of the ACM on Programming Languages

Intersection and union types are becoming more popular by the day, entering the mainstream in programming languages like TypeScript and Scala 3. Yet, no language so far has managed to combine these powerful types with …