%0 Conference Paper %1 conf/popl/VitousekSS17 %A Vitousek, Michael M. %A Swords, Cameron %A Siek, Jeremy G. %B POPL %D 2017 %E Castagna, Giuseppe %E Gordon, Andrew D. %I ACM %K dblp %P 762-774 %T Big types in little runtime: open-world soundness and collaborative blame for gradual type systems. %U http://dblp.uni-trier.de/db/conf/popl/popl2017.html#VitousekSS17 %@ 978-1-4503-4660-3

@inproceedings{conf/popl/VitousekSS17, added-at = {2021-07-25T00:00:00.000+0200}, author = {Vitousek, Michael M. and Swords, Cameron and Siek, Jeremy G.}, biburl = {https://www.bibsonomy.org/bibtex/286ef6bfff2295de84ddb6581d187a68d/dblp}, booktitle = {POPL}, crossref = {conf/popl/2017}, editor = {Castagna, Giuseppe and Gordon, Andrew D.}, ee = {https://doi.org/10.1145/3093333.3009849}, interhash = {ecdabe53396b139b715d613da932bf9c}, intrahash = {86ef6bfff2295de84ddb6581d187a68d}, isbn = {978-1-4503-4660-3}, keywords = {dblp}, pages = {762-774}, publisher = {ACM}, timestamp = {2024-04-09T13:30:08.000+0200}, title = {Big types in little runtime: open-world soundness and collaborative blame for gradual type systems.}, url = {http://dblp.uni-trier.de/db/conf/popl/popl2017.html#VitousekSS17}, year = 2017 }