%0 Conference Paper %1 Vitousek:2017:BTL %A Vitousek, Michael M. %A Swords, Cameron %A Siek, Jeremy G. %B Proceedings of the 44th ACM SIGPLAN Symposium on Principles of Programming Languages %D 2017 %I ACM %K gradual interoperability semantics systems type typing %P 762--774 %R 10.1145/3009837.3009849 %T Big Types in Little Runtime: Open-world Soundness and Collaborative Blame for Gradual Type Systems %@ 978-1-4503-4660-3

@inproceedings{Vitousek:2017:BTL, acmid = {3009849}, added-at = {2018-06-25T08:15:23.000+0200}, author = {Vitousek, Michael M. and Swords, Cameron and Siek, Jeremy G.}, biburl = {https://www.bibsonomy.org/bibtex/2c3bbd6683ad71ad43821c06e0421d073/gron}, booktitle = {Proceedings of the 44th ACM SIGPLAN Symposium on Principles of Programming Languages}, doi = {10.1145/3009837.3009849}, interhash = {ecdabe53396b139b715d613da932bf9c}, intrahash = {c3bbd6683ad71ad43821c06e0421d073}, isbn = {978-1-4503-4660-3}, keywords = {gradual interoperability semantics systems type typing}, location = {Paris, France}, numpages = {13}, pages = {762--774}, publisher = {ACM}, series = {POPL'17}, timestamp = {2018-06-25T08:15:23.000+0200}, title = {{Big Types in Little Runtime: Open-world Soundness and Collaborative Blame for Gradual Type Systems}}, year = 2017 }