{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,6,19]],"date-time":"2026-06-19T18:17:41Z","timestamp":1781893061501,"version":"3.54.5"},"publisher-location":"New York, NY, USA","reference-count":9,"publisher":"ACM","license":[{"start":{"date-parts":[[2017,12,25]],"date-time":"2017-12-25T00:00:00Z","timestamp":1514160000000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"funder":[{"DOI":"10.13039\/100000001","name":"NSF","doi-asserted-by":"publisher","award":["CCF-1518844"],"award-info":[{"award-number":["CCF-1518844"]}],"id":[{"id":"10.13039\/100000001","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2017,12,25]]},"DOI":"10.1145\/3162066","type":"proceedings-article","created":{"date-parts":[[2018,6,1]],"date-time":"2018-06-01T20:20:41Z","timestamp":1527884441000},"page":"30-39","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":11,"title":["On the cost of type-tag soundness"],"prefix":"10.1145","author":[{"given":"Ben","family":"Greenman","sequence":"first","affiliation":[{"name":"Northeastern University, USA"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Zeina","family":"Migeed","sequence":"additional","affiliation":[{"name":"Northeastern University, USA"}],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"320","published-online":{"date-parts":[[2017,12,25]]},"reference":[{"key":"e_1_3_2_1_1_1","unstructured":"Ben Greenman Asumu Takikawa Max S. New Daniel Feltey Robert Bruce Findler Jan Vitek and Matthias Felleisen. How to Evaluate the Performance of Gradual Type Systems. Submitted for publication 2017.  Ben Greenman Asumu Takikawa Max S. New Daniel Feltey Robert Bruce Findler Jan Vitek and Matthias Felleisen. How to Evaluate the Performance of Gradual Type Systems. Submitted for publication 2017."},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1145\/3133880"},{"key":"e_1_3_2_1_3_1","volume-title":"John Tang Boyland. Refined Criteria for Gradual Typing. In Proc. Summit oN Advances in Programming Languages","author":"Siek Jeremy G.","year":"2015"},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1145\/2837614.2837630"},{"key":"e_1_3_2_1_5_1","first-page":"395","volume-title":"Tobin-Hochstadt and Matthias Felleisen. The Design and Implementation of Typed Scheme. In Proc. ACM Symposium on Principles of Programming Languages","author":"Sam","year":"2008"},{"key":"e_1_3_2_1_6_1","volume-title":"Proc. Summit oN Advances in Programming Languages","author":"Tobin-Hochstadt Sam","year":"2017"},{"key":"e_1_3_2_1_7_1","first-page":"45","volume-title":"Jim Baker. Design and Evaluation of Gradual Typing for Python. In Proc. Dynamic Languages Symposium","author":"Vitousek Michael M.","year":"2014"},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1145\/3009837.3009849"},{"key":"e_1_3_2_1_9_1","first-page":"1","volume-title":"Jakub Zalewski. Mixed Messages: Measuring Conformance and Non-Interference in TypeScript. In Proc. European Conference on Object-Oriented Programming","author":"Williams Jack","year":"2017"}],"event":{"name":"POPL '18: The 45th Annual ACM SIGPLAN Symposium on Principles of Programming Languages","location":"Los Angeles CA USA","acronym":"POPL '18","sponsor":["SIGPLAN ACM Special Interest Group on Programming Languages","SIGLOG ACM Special Interest Group on Logic and Computation","SIGACT ACM Special Interest Group on Algorithms and Computation Theory"]},"container-title":["Proceedings of the ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3162066","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3162066","content-type":"application\/pdf","content-version":"vor","intended-application":"syndication"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3162066","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T02:26:54Z","timestamp":1750213614000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3162066"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017,12,25]]},"references-count":9,"alternative-id":["10.1145\/3162066","10.1145\/3175493"],"URL":"https:\/\/doi.org\/10.1145\/3162066","relation":{},"subject":[],"published":{"date-parts":[[2017,12,25]]},"assertion":[{"value":"2017-12-25","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}