{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,6,19]],"date-time":"2026-06-19T18:17:08Z","timestamp":1781893028343,"version":"3.54.5"},"publisher-location":"New York, NY, USA","reference-count":39,"publisher":"ACM","license":[{"start":{"date-parts":[[2018,10,24]],"date-time":"2018-10-24T00:00:00Z","timestamp":1540339200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/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":[[2018,10,24]]},"DOI":"10.1145\/3276945.3276947","type":"proceedings-article","created":{"date-parts":[[2018,10,24]],"date-time":"2018-10-24T11:28:39Z","timestamp":1540380519000},"page":"1-12","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":7,"title":["The behavior of gradual types: a user study"],"prefix":"10.1145","author":[{"given":"Preston","family":"Tunnell Wilson","sequence":"first","affiliation":[{"name":"Brown University, USA"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Ben","family":"Greenman","sequence":"additional","affiliation":[{"name":"Northeastern University, USA"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Justin","family":"Pombrio","sequence":"additional","affiliation":[{"name":"Brown University, USA"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Shriram","family":"Krishnamurthi","sequence":"additional","affiliation":[{"name":"Brown University, USA"}],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"320","published-online":{"date-parts":[[2018,10,24]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.scico.2013.06.006"},{"key":"e_1_3_2_1_2_1","unstructured":"Titus Barik. 2018. Error Messages as Rational Reconstructions. Ph.D. Dissertation. North Carolina State University.  Titus Barik. 2018. Error Messages as Rational Reconstructions. Ph.D. Dissertation. North Carolina State University."},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-662-44202-9_11"},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"crossref","unstructured":"Gavin Bierman Erik Meijer and Mads Torgersen. 2010. Adding Dynamic Types to C#. In ECOOP. 76\u2013100.   Gavin Bierman Erik Meijer and Mads Torgersen. 2010. Adding Dynamic Types to C#. In ECOOP. 76\u2013100.","DOI":"10.1007\/978-3-642-14107-2_5"},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"crossref","unstructured":"Ambrose Bonnaire-Sergeant Rowan Davies and Sam Tobin-Hochstadt. 2016. Practical Optional Types for Clojure. In ESOP. 68\u201394.  Ambrose Bonnaire-Sergeant Rowan Davies and Sam Tobin-Hochstadt. 2016. Practical Optional Types for Clojure. In ESOP. 68\u201394.","DOI":"10.1007\/978-3-662-49498-1_4"},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1145\/165854.165893"},{"key":"e_1_3_2_1_7_1","first-page":"1","article-title":"KafKa","volume":"12","author":"Chung Benjamin W.","year":"2018","journal-title":"Gradual Typing for Objects. In ECOOP."},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1145\/3009837.3009863"},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-28869-2_11"},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1145\/2568225.2568299"},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1145\/581478.581484"},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1145\/3236766"},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1145\/3162066"},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10664-013-9289-1"},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"crossref","unstructured":"Sebastian Kleinschmager Stefan Hanenberg Romain Robbes \u00c9ric Tanter and Andreas Stefik. 2012. Do Static Type Systems Improve the Maintainability of Software Systems?: An Empirical Study. In ICPC. 153\u2013162.  Sebastian Kleinschmager Stefan Hanenberg Romain Robbes \u00c9ric Tanter and Andreas Stefik. 2012. Do Static Type Systems Improve the Maintainability of Software Systems?: An Empirical Study. In ICPC. 153\u2013162.","DOI":"10.1109\/ICPC.2012.6240483"},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1145\/1667048.1667051"},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"crossref","unstructured":"Andre Murbach Maidl Fabio Mascarenhas and Roberto Ierusalimschy. 2015. A Formalization of Typed Lua. In DLS. 13\u201325.  Andre Murbach Maidl Fabio Mascarenhas and Roberto Ierusalimschy. 2015. A Formalization of Typed Lua. In DLS. 13\u201325.","DOI":"10.1145\/2936313.2816709"},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1145\/1498926.1498930"},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1145\/2384616.2384666"},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1145\/2989225.2989227"},{"key":"e_1_3_2_1_21_1","first-page":"1","article-title":"Uncanny Valleys in Declarative Language Design","volume":"9","author":"Miller Mark S","year":"2017","journal-title":"SNAPL."},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.1016\/0022-0000(78)90014-4"},{"key":"e_1_3_2_1_23_1","doi-asserted-by":"publisher","DOI":"10.1145\/3133880"},{"key":"e_1_3_2_1_24_1","doi-asserted-by":"publisher","DOI":"10.1145\/1015864.1015888"},{"key":"e_1_3_2_1_25_1","first-page":"1","article-title":"Teaching Programming Languages by Experimental and Adversarial Thinking","volume":"13","author":"Pombrio Justin","year":"2017","journal-title":"SNAPL."},{"key":"e_1_3_2_1_26_1","doi-asserted-by":"publisher","DOI":"10.1145\/2480362.2480655"},{"key":"e_1_3_2_1_27_1","unstructured":"Jeremy G. Siek and Walid Taha. 2006. Gradual typing for functional languages. In Scheme and Functional Programming. 81\u201392.  Jeremy G. Siek and Walid Taha. 2006. Gradual typing for functional languages. In Scheme and Functional Programming. 81\u201392."},{"key":"e_1_3_2_1_28_1","unstructured":"Jeremy G. Siek Michael M. Vitousek Matteo Cimini and John Tang Boyland. 2015. Refined Criteria for Gradual Typing. In SNAPL. 274\u2013 293.  Jeremy G. Siek Michael M. Vitousek Matteo Cimini and John Tang Boyland. 2015. Refined Criteria for Gradual Typing. In SNAPL. 274\u2013 293."},{"key":"e_1_3_2_1_29_1","doi-asserted-by":"publisher","DOI":"10.1145\/2577080.2582208"},{"key":"e_1_3_2_1_30_1","doi-asserted-by":"publisher","DOI":"10.1145\/2837614.2837630"},{"key":"e_1_3_2_1_31_1","doi-asserted-by":"crossref","unstructured":"Sam Tobin-Hochstadt and Matthias Felleisen. 2006. Interlanguage Migration: from Scripts to Programs. In DLS. 964\u2013974.  Sam Tobin-Hochstadt and Matthias Felleisen. 2006. Interlanguage Migration: from Scripts to Programs. In DLS. 964\u2013974.","DOI":"10.1145\/1176617.1176755"},{"key":"e_1_3_2_1_32_1","doi-asserted-by":"publisher","DOI":"10.1145\/1328438.1328486"},{"key":"e_1_3_2_1_33_1","first-page":"1","article-title":"Migratory Typing: Ten years later","volume":"17","author":"Tobin-Hochstadt Sam","year":"2017","journal-title":"SNAPL."},{"key":"e_1_3_2_1_34_1","doi-asserted-by":"crossref","unstructured":"Preston Tunnell Wilson Justin Pombrio and Shriram Krishnamurthi. 2017. Can We Crowdsource Language Design?. In SPLASH Onward! 1\u201317.  Preston Tunnell Wilson Justin Pombrio and Shriram Krishnamurthi. 2017. Can We Crowdsource Language Design?. In SPLASH Onward! 1\u201317.","DOI":"10.1145\/3133850.3133863"},{"key":"e_1_3_2_1_35_1","doi-asserted-by":"publisher","DOI":"10.1145\/2661088.2661101"},{"key":"e_1_3_2_1_36_1","doi-asserted-by":"publisher","DOI":"10.1145\/3009837.3009849"},{"key":"e_1_3_2_1_37_1","first-page":"1","article-title":"Mixed Messages","volume":"28","author":"Williams Jack","year":"2017","journal-title":"Measuring Conformance and Non-Interference in TypeScript. In ECOOP."},{"key":"e_1_3_2_1_38_1","doi-asserted-by":"publisher","DOI":"10.1145\/3133850.3133862"},{"key":"e_1_3_2_1_39_1","doi-asserted-by":"publisher","DOI":"10.1145\/1706299.1706343"}],"event":{"name":"SPLASH '18: Conference on Systems, Programming, Languages, and Applications: Software for Humanity","location":"Boston MA USA","acronym":"SPLASH '18","sponsor":["SIGPLAN ACM Special Interest Group on Programming Languages"]},"container-title":["Proceedings of the 14th ACM SIGPLAN International Symposium on Dynamic Languages"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3276945.3276947","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3276945.3276947","content-type":"application\/pdf","content-version":"vor","intended-application":"syndication"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3276945.3276947","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,17]],"date-time":"2025-06-17T20:57:41Z","timestamp":1750193861000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3276945.3276947"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2018,10,24]]},"references-count":39,"alternative-id":["10.1145\/3276945.3276947","10.1145\/3276945"],"URL":"https:\/\/doi.org\/10.1145\/3276945.3276947","relation":{"is-identical-to":[{"id-type":"doi","id":"10.1145\/3393673.3276947","asserted-by":"object"}]},"subject":[],"published":{"date-parts":[[2018,10,24]]},"assertion":[{"value":"2018-10-24","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}