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