%0 Conference Paper %1 conf/pepm/GreenmanM18 %A Greenman, Ben %A Migeed, Zeina %B PEPM %D 2018 %E Henglein, Fritz %E Ko, Hsiang-Shang %I ACM %K dblp %P 30-39 %T On the cost of type-tag soundness. %U http://dblp.uni-trier.de/db/conf/pepm/pepm2018.html#GreenmanM18 %@ 978-1-4503-5587-2

@inproceedings{conf/pepm/GreenmanM18, added-at = {2022-04-09T00:00:00.000+0200}, author = {Greenman, Ben and Migeed, Zeina}, biburl = {https://www.bibsonomy.org/bibtex/2ab27bc31e7e47f08f16d4bbe7476d7e9/dblp}, booktitle = {PEPM}, crossref = {conf/pepm/2018}, editor = {Henglein, Fritz and Ko, Hsiang-Shang}, ee = {https://doi.org/10.1145/3162066}, interhash = {6908bef35ca015bb6e09cd28a510971e}, intrahash = {ab27bc31e7e47f08f16d4bbe7476d7e9}, isbn = {978-1-4503-5587-2}, keywords = {dblp}, pages = {30-39}, publisher = {ACM}, timestamp = {2024-04-10T12:21:22.000+0200}, title = {On the cost of type-tag soundness.}, url = {http://dblp.uni-trier.de/db/conf/pepm/pepm2018.html#GreenmanM18}, year = 2018 }