@inproceedings{tfgnvf-popl-2016,
    author = {Takikawa, Asumu and Feltey, Daniel and Greenman, Ben and New, Max S. and Vitek, Jan and Felleisen, Matthias},
    title = {Is Sound Gradual Typing Dead?},
    booktitle = {{POPL}},
    pages = {456--468},
    year = {2016},
    doi = {https://doi.org/10.1145/2837614.2837630},
    url = {http://www.ccs.neu.edu/racket/pubs/popl16-tfgnvf.pdf}
}