Set-Theoretic Types for Polymorphic Variants

Giuseppe Castagna, Tommaso Petrucciani, Kim Nguyen

Polymorphic variants are a useful feature of the OCaml language whose current definition and implementation rely on kinding constraints to simulate a subtyping relation via unifica…