@misc{indiciaeefa15c63315b,
  title = {Set-Theoretic Types for Polymorphic Variants},
  author = {Giuseppe Castagna and Tommaso Petrucciani and Kim Nguyen},
  year = {2016},
  doi = {10.1145/2951913.2951928},
  url = {https://arxiv.org/abs/1606.01106},
  note = {Source identifier: 1606.01106}
}