@misc{indiciaeeb0b6adb53e8,
  title = {Untangling Typechecking of Intersections and Unions},
  author = {Jana Dunfield},
  year = {2011},
  doi = {10.4204/eptcs.45.5},
  url = {https://arxiv.org/abs/1101.4428},
  note = {Source identifier: 1101.4428}
}