TY  - RPRT
TI  - Set-Theoretic Types for Polymorphic Variants
AU  - Giuseppe Castagna
AU  - Tommaso Petrucciani
AU  - Kim Nguyen
PY  - 2016
DO  - 10.1145/2951913.2951928
UR  - https://arxiv.org/abs/1606.01106
ID  - 1606.01106
ER  -