Subtyping

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

Type inference in the presence of first-class or “impredicative” second-order polymorphism à la System F has been an active research …

Creating good type error messages for constraint-based type inference systems is difficult. Typical type error messages reflect …