@inproceedings{takikawa_etal_2016,
 title = {Is Sound Gradual Typing Dead?},
 author = {Takikawa, Asumu and Feltey, Daniel and Greenman, Ben and New, Max S. and Vitek, Jan and Felleisen, Matthias},
 year = {2016},
 url = {http://dl.acm.org/citation.cfm?id=2837630},
 booktitle = {Proceedings of the 43rd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL 2016},
 publisher = {ACM}
}