%0 Conference Paper %1 conf/popl/TakikawaFGNVF16 %A Takikawa, Asumu %A Feltey, Daniel %A Greenman, Ben %A New, Max S. %A Vitek, Jan %A Felleisen, Matthias %B POPL %D 2016 %E Bodík, Rastislav %E Majumdar, Rupak %I ACM %K dblp %P 456-468 %T Is sound gradual typing dead? %U http://dblp.uni-trier.de/db/conf/popl/popl2016.html#TakikawaFGNVF16 %@ 978-1-4503-3549-2

@inproceedings{conf/popl/TakikawaFGNVF16, added-at = {2021-06-23T00:00:00.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/28e8dab00129b6372c80d88b8677d5ff7/dblp}, booktitle = {POPL}, crossref = {conf/popl/2016}, editor = {Bodík, Rastislav and Majumdar, Rupak}, ee = {https://doi.org/10.1145/2914770.2837630}, interhash = {a9defb858938ee355885569a152e44ef}, intrahash = {8e8dab00129b6372c80d88b8677d5ff7}, isbn = {978-1-4503-3549-2}, keywords = {dblp}, pages = {456-468}, publisher = {ACM}, timestamp = {2024-04-09T13:30:49.000+0200}, title = {Is sound gradual typing dead?}, url = {http://dblp.uni-trier.de/db/conf/popl/popl2016.html#TakikawaFGNVF16}, year = 2016 }