Decidable Tag-Based Semantic Subtyping for Nominal Types, Tuples, and Unions

Julia Belyakova

Semantic subtyping enables simple, set-theoretical reasoning about types by interpreting a type as the set of its values. Previously, semantic subtyping has been studied primarily…