@inproceedings{gm-pepm-2018,
  author={Greenman, Ben and Migeed, Zeina},
  title={On the Cost of Type-Tag Soundness},
  booktitle={{PEPM}},
  pages={30--39},
  year=2018,
  doi={https://doi.org/10.1145/3162066}
}