{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,27]],"date-time":"2026-02-27T03:47:49Z","timestamp":1772164069738,"version":"3.50.1"},"publisher-location":"New York, NY, USA","reference-count":39,"publisher":"ACM","license":[{"start":{"date-parts":[[2017,1,11]],"date-time":"2017-01-11T00:00:00Z","timestamp":1484092800000},"content-version":"vor","delay-in-days":366,"URL":"http:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"funder":[{"DOI":"10.13039\/100000001","name":"National Science Foundation","doi-asserted-by":"publisher","award":["1518844"],"award-info":[{"award-number":["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":[[2016,1,11]]},"DOI":"10.1145\/2837614.2837632","type":"proceedings-article","created":{"date-parts":[[2016,1,7]],"date-time":"2016-01-07T09:05:00Z","timestamp":1452157500000},"page":"443-455","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":38,"title":["The gradualizer: a methodology and algorithm for generating gradual type systems"],"prefix":"10.1145","author":[{"given":"Matteo","family":"Cimini","sequence":"first","affiliation":[{"name":"Indiana University, USA"}]},{"given":"Jeremy G.","family":"Siek","sequence":"additional","affiliation":[{"name":"Indiana University, USA"}]}],"member":"320","published-online":{"date-parts":[[2016,1,11]]},"reference":[{"key":"e_1_3_2_1_1_1","unstructured":"References"},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.5555\/547964"},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1145\/1570506.1570507"},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1145\/1926385.1926409"},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.scico.2013.06.006"},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.5555\/1883978.1883986"},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-662-44202-9_11"},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1016\/0743-1066(88)90010-6"},{"key":"e_1_3_2_1_9_1","volume-title":"Workshop on Script to Program Evolution","author":"Disney T.","year":"2011","unstructured":"T. Disney and C. Flanagan. Gradual information flow typing. In Workshop on Script to Program Evolution, 2011."},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1145\/2500365.2500603"},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1145\/2676726.2676992"},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1145\/2837614.2837670"},{"key":"e_1_3_2_1_13_1","volume-title":"Microsoft Channel 9 Blog","author":"Hejlsberg A.","year":"2012","unstructured":"A. Hejlsberg. Introducing TypeScript. Microsoft Channel 9 Blog, 2012."},{"key":"e_1_3_2_1_14_1","volume-title":"Trends in Functional Prog. (TFP), page XXVIII","author":"Herman D.","year":"2007","unstructured":"D. Herman, A. Tomb, and C. Flanagan. Space-efficient gradual typing. In Trends in Functional Prog. (TFP), page XXVIII, April 2007."},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10990-011-9066-z"},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1145\/2048066.2048114"},{"key":"e_1_3_2_1_17_1","volume-title":"MIT Press","author":"Jacobs D.","year":"1992","unstructured":"D. Jacobs. A pragmatic view of types for logic programs. In F. Pfenning, editor, Types in Logic Programming, Logic programming, pages 217\u2013227. MIT Press, 1992."},{"key":"e_1_3_2_1_18_1","volume-title":"OOPSLA\u201904 Workshop on Revival of Dynamic Languages","author":"Meijer E.","year":"2004","unstructured":"E. Meijer and P. Drayton. Static typing where possible, dynamic typing when needed: The end of the cold war between programming languages. In OOPSLA\u201904 Workshop on Revival of Dynamic Languages, 2004."},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.5555\/2331097"},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.5555\/509043"},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.5555\/647886.736331"},{"key":"e_1_3_2_1_22_1","volume-title":"Proceedings of the Inaugural Summit oN Advances in Programming Languages (SNAPL 2015)","author":"Siek J.","year":"2015","unstructured":"J. Siek, M. Vitousek, M. Cimini, and J. Boyland. Refined Criteria for Gradual Typing. In Proceedings of the Inaugural Summit oN Advances in Programming Languages (SNAPL 2015), May 2015. To appear."},{"key":"e_1_3_2_1_23_1","first-page":"92","volume-title":"Scheme and Functional Programming Workshop","author":"Siek J. G.","year":"2006","unstructured":"J. G. Siek and W. Taha. Gradual typing for functional languages. In Scheme and Functional Programming Workshop, pages 81\u201392, September 2006."},{"key":"e_1_3_2_1_24_1","doi-asserted-by":"publisher","DOI":"10.5555\/2394758.2394762"},{"key":"e_1_3_2_1_25_1","doi-asserted-by":"publisher","DOI":"10.1145\/1408681.1408688"},{"key":"e_1_3_2_1_26_1","doi-asserted-by":"publisher","DOI":"10.1145\/1706299.1706342"},{"key":"e_1_3_2_1_27_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-00590-9_2"},{"key":"e_1_3_2_1_28_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-662-46669-8_18"},{"key":"e_1_3_2_1_29_1","volume-title":"LIPIcs: Leibniz International Proceedings in Informatics","author":"Siek J. G.","year":"2015","unstructured":"J. G. Siek, M. M. Vitousek, M. Cimini, and J. T. Boyland. Refined criteria for gradual typing. In SNAPL: Summit on Advances in Programming Languages, LIPIcs: Leibniz International Proceedings in Informatics, May 2015."},{"key":"e_1_3_2_1_30_1","first-page":"261","volume-title":"SYMPOSIUM ON LOGIC IN COMPUTER SCIENCE","author":"Stark R. F.","unstructured":"R. F. Stark. The declarative semantics of the prolog selection rule. In SYMPOSIUM ON LOGIC IN COMPUTER SCIENCE, pages 252\u2013 261. IEEE Computer Society Press, 1994."},{"key":"e_1_3_2_1_31_1","doi-asserted-by":"publisher","DOI":"10.1145\/2384616.2384674"},{"key":"e_1_3_2_1_32_1","volume-title":"European Conference on Object-Oriented Programming, LIPICS. Dagstuhl Publishing","author":"Takikawa A.","year":"2015","unstructured":"A. Takikawa, D. Feltey, E. Dean, M. Flatt, R. B. Findler, S. Tobin-Hochstadt, and M. Felleisen. Towards practical gradual typing. In European Conference on Object-Oriented Programming, LIPICS. Dagstuhl Publishing, 2015."},{"key":"e_1_3_2_1_33_1","volume-title":"March","author":"Team T. D.","year":"2014","unstructured":"T. D. Team. Dart Programming Language Specification. Google, 1.2 edition, March 2014."},{"key":"e_1_3_2_1_34_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-662-45917-1_10"},{"key":"e_1_3_2_1_35_1","doi-asserted-by":"publisher","DOI":"10.1145\/1328438.1328486"},{"key":"e_1_3_2_1_36_1","doi-asserted-by":"publisher","DOI":"10.1145\/1863543.1863561"},{"key":"e_1_3_2_1_37_1","doi-asserted-by":"publisher","DOI":"10.1145\/2661088.2661101"},{"key":"e_1_3_2_1_38_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-00590-9_1"},{"key":"e_1_3_2_1_39_1","doi-asserted-by":"publisher","DOI":"10.5555\/2032497.2032529"}],"event":{"name":"POPL '16: The 43rd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages","location":"St. Petersburg FL USA","acronym":"POPL '16","sponsor":["SIGPLAN ACM Special Interest Group on Programming Languages","SIGACT ACM Special Interest Group on Algorithms and Computation Theory"]},"container-title":["Proceedings of the 43rd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2837614.2837632","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/2837614.2837632","content-type":"application\/pdf","content-version":"vor","intended-application":"syndication"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/2837614.2837632","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,11,18]],"date-time":"2025-11-18T09:28:16Z","timestamp":1763458096000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2837614.2837632"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2016,1,11]]},"references-count":39,"alternative-id":["10.1145\/2837614.2837632","10.1145\/2837614"],"URL":"https:\/\/doi.org\/10.1145\/2837614.2837632","relation":{"is-identical-to":[{"id-type":"doi","id":"10.1145\/2914770.2837632","asserted-by":"object"}]},"subject":[],"published":{"date-parts":[[2016,1,11]]},"assertion":[{"value":"2016-01-11","order":3,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}