@misc{indiciae19bb3e76d981,
  title = {Decidable Tag-Based Semantic Subtyping for Nominal Types, Tuples, and Unions},
  author = {Julia Belyakova},
  year = {2019},
  doi = {10.1145/3340672.3341115},
  url = {https://arxiv.org/abs/1912.08255},
  note = {Source identifier: 1912.08255}
}