{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,27]],"date-time":"2026-02-27T03:47:55Z","timestamp":1772164075868,"version":"3.50.1"},"publisher-location":"New York, NY, USA","reference-count":27,"publisher":"ACM","license":[{"start":{"date-parts":[[2016,11,1]],"date-time":"2016-11-01T00:00:00Z","timestamp":1477958400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"funder":[{"DOI":"10.13039\/501100000781","name":"European Research Council","doi-asserted-by":"publisher","award":["647544"],"award-info":[{"award-number":["647544"]}],"id":[{"id":"10.13039\/501100000781","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2016,11]]},"DOI":"10.1145\/2989225.2989226","type":"proceedings-article","created":{"date-parts":[[2016,10,21]],"date-time":"2016-10-21T10:16:42Z","timestamp":1477045002000},"page":"1-12","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":6,"title":["Type safety analysis for Dart"],"prefix":"10.1145","author":[{"given":"Thomas S.","family":"Heinze","sequence":"first","affiliation":[{"name":"Aarhus University, Denmark"}]},{"given":"Anders","family":"M\u00f8ller","sequence":"additional","affiliation":[{"name":"Aarhus University, Denmark"}]},{"given":"Fabio","family":"Strocco","sequence":"additional","affiliation":[{"name":"Aarhus University, Denmark"}]}],"member":"320","published-online":{"date-parts":[[2016,11]]},"reference":[{"key":"e_1_3_2_1_1_1","volume-title":"9th European Conference (ECOOP)","author":"Agesen O.","year":"1995","unstructured":"O. Agesen . The cartesian product algorithm: Simple and precise type inference of parametric polymorphism. In Object-Oriented Programming , 9th European Conference (ECOOP) , 1995 . O. Agesen. The cartesian product algorithm: Simple and precise type inference of parametric polymorphism. In Object-Oriented Programming, 9th European Conference (ECOOP), 1995."},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1145\/1028976.1029004"},{"key":"e_1_3_2_1_3_1","volume-title":"Why Dart types are optional and unsound","author":"Brandt E.","year":"2011","unstructured":"E. Brandt . Why Dart types are optional and unsound , 2011 . https: \/\/www.dartlang.org\/articles\/why-dart-types\/. E. Brandt. Why Dart types are optional and unsound, 2011. https: \/\/www.dartlang.org\/articles\/why-dart-types\/."},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1145\/113445.113469"},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1145\/93542.93585"},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.5555\/646153.679523"},{"key":"e_1_3_2_1_7_1","volume-title":"4th Edition","author":"International Ecma","year":"2015","unstructured":"Ecma International . Dart Programming Language Specification, ECMA-408 , 4th Edition , December 2015 . Ecma International. Dart Programming Language Specification, ECMA-408, 4th Edition, December 2015."},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1145\/2816707.2816711"},{"key":"e_1_3_2_1_9_1","volume-title":"Flow \u2013 a static type checker for JavaScript","author":"Facebook Inc.","year":"2016","unstructured":"Facebook Inc. Flow \u2013 a static type checker for JavaScript , 2016 . http:\/\/flowtype.org\/. Facebook Inc. Flow \u2013 a static type checker for JavaScript, 2016. http:\/\/flowtype.org\/."},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1145\/231379.231387"},{"key":"e_1_3_2_1_11_1","volume-title":"Strong mode","author":"Google Inc.","year":"2015","unstructured":"Google Inc. Strong mode , 2015 . https:\/\/github.com\/dart-lang\/ dev_compiler\/blob\/master\/STRONG_MODE.md. Google Inc. Strong mode, 2015. https:\/\/github.com\/dart-lang\/ dev_compiler\/blob\/master\/STRONG_MODE.md."},{"key":"e_1_3_2_1_12_1","volume-title":"dart2js","author":"Google Inc.","year":"2016","unstructured":"Google Inc. dart2js , 2016 . https:\/\/www.dartlang.org\/tools\/ dart2js\/. Google Inc. dart2js, 2016. https:\/\/www.dartlang.org\/tools\/ dart2js\/."},{"key":"e_1_3_2_1_13_1","volume-title":"dartanalyzer","author":"Google Inc.","year":"2016","unstructured":"Google Inc. dartanalyzer , 2016 . https:\/\/github.com\/dart-lang\/ analyzer_cli. Google Inc. dartanalyzer, 2016. https:\/\/github.com\/dart-lang\/ analyzer_cli."},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1145\/277650.277668"},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1145\/182409.182495"},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-03237-0_17"},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1145\/1869643.1869645"},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1093\/comjnl\/bxr067"},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1006\/inco.1995.1058"},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1145\/2103656.2103714"},{"key":"e_1_3_2_1_21_1","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 , 2006 . J. G. Siek and W. Taha. Gradual typing for functional languages. In Scheme and Functional Programming Workshop, 2006."},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.1145\/1408681.1408688"},{"key":"e_1_3_2_1_23_1","doi-asserted-by":"publisher","DOI":"10.1145\/2737924.2737968"},{"key":"e_1_3_2_1_24_1","volume-title":"Proc. 1st Summit on Advances in Programming Languages (SNAPL)","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 Proc. 1st Summit on Advances in Programming Languages (SNAPL) , 2015 . J. G. Siek, M. M. Vitousek, M. Cimini, and J. T. Boyland. Refined criteria for gradual typing. In Proc. 1st Summit on Advances in Programming Languages (SNAPL), 2015."},{"key":"e_1_3_2_1_25_1","series-title":"LNCS","first-page":"232","volume-title":"Aliasing in Object-Oriented Programming. Types, Analysis and Verification","author":"Sridharan M.","unstructured":"M. Sridharan , S. Chandra , J. Dolby , S. J. Fink , and E. Yahav . Alias analysis for object-oriented programs . In Aliasing in Object-Oriented Programming. Types, Analysis and Verification , volume 7850 of LNCS , pages 196\u2013 232 . Springer, 2013. M. Sridharan, S. Chandra, J. Dolby, S. J. Fink, and E. Yahav. Alias analysis for object-oriented programs. In Aliasing in Object-Oriented Programming. Types, Analysis and Verification, volume 7850 of LNCS, pages 196\u2013232. Springer, 2013."},{"key":"e_1_3_2_1_26_1","doi-asserted-by":"publisher","DOI":"10.1145\/2837614.2837630"},{"key":"e_1_3_2_1_27_1","volume-title":"mypy \u2013 optional static typing for Python","author":"Project The Mypy","year":"2016","unstructured":"The Mypy Project . mypy \u2013 optional static typing for Python , 2016 . https:\/\/mypy-lang.org\/. The Mypy Project. mypy \u2013 optional static typing for Python, 2016. https:\/\/mypy-lang.org\/."}],"event":{"name":"SPLASH '16: Conference on Systems, Programming, Languages, and Applications: Software for Humanity","location":"Amsterdam Netherlands","acronym":"SPLASH '16","sponsor":["SIGPLAN ACM Special Interest Group on Programming Languages","SIGAda ACM Special Interest Group on Ada Programming Language"]},"container-title":["Proceedings of the 12th Symposium on Dynamic Languages"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2989225.2989226","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/2989225.2989226","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T00:23:06Z","timestamp":1750206186000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2989225.2989226"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2016,11]]},"references-count":27,"alternative-id":["10.1145\/2989225.2989226","10.1145\/2989225"],"URL":"https:\/\/doi.org\/10.1145\/2989225.2989226","relation":{"is-identical-to":[{"id-type":"doi","id":"10.1145\/3093334.2989226","asserted-by":"object"}]},"subject":[],"published":{"date-parts":[[2016,11]]},"assertion":[{"value":"2016-11-01","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}