@inproceedings{nomalive,
  author = {Muehlboeck, Fabian and Tate, Ross},
  title = {Sound Gradual Typing is Nominally Alive and Well},
  booktitle = {{OOPSLA}},
  year = {2017},
  location = {Vancouver, British Columbia, Canada},
  publisher = {{ACM}},
  address = {New York, NY, USA},
  doi = {https://doi.org/10.1145/3133880},
  url = {http://www.cs.cornell.edu/~ross/publications/nomalive/}
}