@inproceedings{monnom, author = {Muehlboeck, Fabian and Tate, Ross}, title = {Transitioning from Structural to Nominal Code with Efficient Gradual Typing}, booktitle = {{OOPSLA}}, year = {2021}, location = {Chicago, Illinois, USA}, publisher = {{ACM}}, address = {New York, NY, USA}, doi = {https://doi.org/10.1145/3485504}, url = {http://www.cs.cornell.edu/~ross/publications/monnom/} }