%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
}