%0 Conference Paper %1 Takikawa:2016:SGT %A Takikawa, Asumu %A Feltey, Daniel %A Greenman, Ben %A New, Max S. %A Vitek, Jan %A Felleisen, Matthias %B Proceedings of the 43rd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages %D 2016 %I ACM %K Gradual evaluation performance typing %P 456--468 %R 10.1145/2837614.2837630 %T Is Sound Gradual Typing Dead? %@ 978-1-4503-3549-2

@inproceedings{Takikawa:2016:SGT, acmid = {2837630}, added-at = {2018-06-25T08:12:55.000+0200}, author = {Takikawa, Asumu and Feltey, Daniel and Greenman, Ben and New, Max S. and Vitek, Jan and Felleisen, Matthias}, biburl = {https://www.bibsonomy.org/bibtex/2f879c98517488ae6f9b33388d3a63782/gron}, booktitle = {Proceedings of the 43rd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages}, doi = {10.1145/2837614.2837630}, interhash = {a9defb858938ee355885569a152e44ef}, intrahash = {f879c98517488ae6f9b33388d3a63782}, isbn = {978-1-4503-3549-2}, keywords = {Gradual evaluation performance typing}, location = {St. Petersburg, FL, USA}, numpages = {13}, pages = {456--468}, publisher = {ACM}, series = {POPL'16}, timestamp = {2018-06-25T08:12:55.000+0200}, title = {{Is Sound Gradual Typing Dead?}}, year = 2016 }