@inproceedings{popl16-tfgnvf,
    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}: ACM SIGPLAN Symposium on Principles of Programming Languages},
    year = {2016},
    location = {St. Petersberg, Florida},
    publisher = {{ACM}},
    address = {New York, NY, USA},
    url = {http://www.ccs.neu.edu/racket/pubs/popl16-tfgnvf.pdf}
}