TY  - RPRT
TI  - Decidable Tag-Based Semantic Subtyping for Nominal Types, Tuples, and Unions
AU  - Julia Belyakova
PY  - 2019
DO  - 10.1145/3340672.3341115
UR  - https://arxiv.org/abs/1912.08255
ID  - 1912.08255
ER  -