Boolean-algebraic subtyping

The Simple Essence of Boolean-Algebraic Subtyping

Boolean-algebraic subtyping (BAS) is a powerful subtyping approach introduced in 2022 as the “secret sauce” enabling backtracking-free …

Chun Yin Chau, Lionel Parreaux

A Lightweight Type-and-Effect System for Invalidation Safety

In many programming paradigms, some program entities are only valid within delimited regions of the program, such as resources that …

Cunyuan Gao, Lionel Parreaux

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