@inproceedings{empower-artifact,
  author = {Muehlboeck, Fabian and Tate, Ross},
  title = {Artifact for Article ``Empowering Union and Intersection Types with Integrated Subtyping''},
  booktitle = {{OOPSLA}},
  year = {2018},
  publisher = {{ACM}},
  address = {New York, NY, USA},
  articleno = {},
  numpages = {},
  doi = {10.1145/3276913},
  url = {http://www.cs.cornell.edu/~ross/publications/empower/}
}