@phdthesis{new_dissertation_2020,
 title = {A Semantic Foundation for Sound Gradual Typing},
 author = {New, Max S.},
 year = {2020},
 url = {https://maxsnew.com/docs/dissertation.pdf},
 school = {Northeastern University}
}