{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,18]],"date-time":"2026-03-18T04:54:15Z","timestamp":1773809655212,"version":"3.50.1"},"publisher-location":"New York, NY, USA","reference-count":60,"publisher":"ACM","license":[{"start":{"date-parts":[[2019,6,8]],"date-time":"2019-06-08T00:00:00Z","timestamp":1559952000000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by\/4.0\/"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2019,6,8]]},"DOI":"10.1145\/3314221.3314627","type":"proceedings-article","created":{"date-parts":[[2019,6,7]],"date-time":"2019-06-07T21:02:18Z","timestamp":1559941338000},"page":"517-532","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":13,"title":["Toward efficient gradual typing for structural types via coercions"],"prefix":"10.1145","author":[{"given":"Andre","family":"Kuhlenschmidt","sequence":"first","affiliation":[{"name":"Indiana University, USA"}]},{"given":"Deyaaeldeen","family":"Almahallawi","sequence":"additional","affiliation":[{"name":"Indiana University, USA"}]},{"given":"Jeremy G.","family":"Siek","sequence":"additional","affiliation":[{"name":"Indiana University, USA"}]}],"member":"320","published-online":{"date-parts":[[2019,6,8]]},"reference":[{"key":"e_1_3_2_2_1_1","unstructured":"2017. https:\/\/flow.org\/en\/  2017. https:\/\/flow.org\/en\/"},{"key":"e_1_3_2_2_2_1","unstructured":"2018. Gradual Typing Performance Benchmarks. https:\/\/pkgs. racket-lang.org\/package\/gtp-benchmarks  2018. Gradual Typing Performance Benchmarks. https:\/\/pkgs. racket-lang.org\/package\/gtp-benchmarks"},{"key":"e_1_3_2_2_3_1","volume-title":"Blame for All. In Symposium on Principles of Programming Languages.","author":"Ahmed Amal","year":"2011","unstructured":"Amal Ahmed , Robert Bruce Findler , Jeremy G. Siek , and Philip Wadler . 2011 . Blame for All. In Symposium on Principles of Programming Languages. Amal Ahmed, Robert Bruce Findler, Jeremy G. Siek, and Philip Wadler. 2011. Blame for All. In Symposium on Principles of Programming Languages."},{"key":"e_1_3_2_2_4_1","volume-title":"With and Without Types. In International Conference on Functional Programming (ICFP).","author":"Ahmed Amal","year":"2017","unstructured":"Amal Ahmed , Dustin Jamner , Jeremy G. Siek , and Philip Wadler . 2017 . Theorems for Free for Free: Parametricity , With and Without Types. In International Conference on Functional Programming (ICFP). Amal Ahmed, Dustin Jamner, Jeremy G. Siek, and Philip Wadler. 2017. Theorems for Free for Free: Parametricity, With and Without Types. In International Conference on Functional Programming (ICFP)."},{"key":"e_1_3_2_2_5_1","volume-title":"WOOD \u201903","author":"Anderson Christopher","unstructured":"Christopher Anderson and Sophia Drossopoulou . 2003. BabyJ - From Object Based to Class Based Programming via Types . In WOOD \u201903 , Vol. 82 . Elsevier . Christopher Anderson and Sophia Drossopoulou. 2003. BabyJ - From Object Based to Class Based Programming via Types. In WOOD \u201903, Vol. 82. Elsevier."},{"key":"e_1_3_2_2_6_1","volume-title":"Compiling with continuations","author":"Appel Andrew W.","unstructured":"Andrew W. Appel . 1992. Compiling with continuations . Cambridge University Press , New York, NY, USA . Andrew W. Appel. 1992. Compiling with continuations. Cambridge University Press, New York, NY, USA."},{"key":"e_1_3_2_2_7_1","doi-asserted-by":"publisher","DOI":"10.1145\/3133878"},{"key":"e_1_3_2_2_9_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-662-44202-9_11"},{"key":"e_1_3_2_2_10_1","doi-asserted-by":"publisher","DOI":"10.1145\/1640089.1640098"},{"key":"e_1_3_2_2_11_1","doi-asserted-by":"publisher","DOI":"10.1002\/spe.4380180902"},{"key":"e_1_3_2_2_13_1","doi-asserted-by":"publisher","DOI":"10.1145\/800055.802037"},{"key":"e_1_3_2_2_14_1","volume-title":"Gradual Typing with Union and Intersection Types. In International Conference on Functional Programming.","author":"Castagna Giuseppe","year":"2017","unstructured":"Giuseppe Castagna and Victor Lanvin . 2017 . Gradual Typing with Union and Intersection Types. In International Conference on Functional Programming. Giuseppe Castagna and Victor Lanvin. 2017. Gradual Typing with Union and Intersection Types. In International Conference on Functional Programming."},{"key":"e_1_3_2_2_15_1","doi-asserted-by":"publisher","DOI":"10.1145\/2364527.2364539"},{"key":"e_1_3_2_2_16_1","doi-asserted-by":"publisher","DOI":"10.1145\/96709.96735"},{"key":"e_1_3_2_2_17_1","doi-asserted-by":"publisher","DOI":"10.1145\/1926385.1926410"},{"key":"e_1_3_2_2_18_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-28869-2_11"},{"key":"e_1_3_2_2_20_1","doi-asserted-by":"publisher","DOI":"10.1145\/3276503"},{"key":"e_1_3_2_2_21_1","doi-asserted-by":"publisher","DOI":"10.1145\/581478.581484"},{"key":"e_1_3_2_2_23_1","doi-asserted-by":"publisher","DOI":"10.1145\/2676726.2676992"},{"key":"e_1_3_2_2_24_1","volume-title":"ANSI Common Lisp","author":"Graham P.","unstructured":"P. Graham . 1995. ANSI Common Lisp . Prentice Hall . P. Graham. 1995. ANSI Common Lisp. Prentice Hall."},{"key":"e_1_3_2_2_25_1","doi-asserted-by":"publisher","DOI":"10.1145\/1094811.1094830"},{"key":"e_1_3_2_2_26_1","doi-asserted-by":"publisher","DOI":"10.1145\/2676726.2676967"},{"key":"e_1_3_2_2_27_1","doi-asserted-by":"publisher","DOI":"10.1145\/2676726.2676967"},{"key":"e_1_3_2_2_28_1","doi-asserted-by":"publisher","DOI":"10.1145\/1706299.1706341"},{"key":"e_1_3_2_2_29_1","doi-asserted-by":"publisher","DOI":"10.1145\/3162066"},{"key":"e_1_3_2_2_30_1","volume-title":"Sage: Hybrid Checking for Flexible Specifications. In Scheme and Functional Programming Workshop. 93\u2013104","author":"Gronski Jessica","year":"2006","unstructured":"Jessica Gronski , Kenneth Knowles , Aaron Tomb , Stephen N. Freund , and Cormac Flanagan . 2006 . Sage: Hybrid Checking for Flexible Specifications. In Scheme and Functional Programming Workshop. 93\u2013104 . Jessica Gronski, Kenneth Knowles, Aaron Tomb, Stephen N. Freund, and Cormac Flanagan. 2006. Sage: Hybrid Checking for Flexible Specifications. In Scheme and Functional Programming Workshop. 93\u2013104."},{"key":"e_1_3_2_2_31_1","doi-asserted-by":"publisher","DOI":"10.1145\/1297081.1297089"},{"key":"e_1_3_2_2_32_1","doi-asserted-by":"publisher","DOI":"10.1145\/581478.581502"},{"key":"e_1_3_2_2_33_1","unstructured":"Anders Hejlsberg. 2012. Introducing TypeScript. Microsoft Channel 9 Blog.  Anders Hejlsberg. 2012. Introducing TypeScript. Microsoft Channel 9 Blog."},{"key":"e_1_3_2_2_34_1","doi-asserted-by":"publisher","DOI":"10.1016\/0167-6423(94)00004-2"},{"key":"e_1_3_2_2_35_1","unstructured":"David Herman Aaron Tomb and Cormac Flanagan. 2007. SpaceEfficient Gradual Typing. In Trends in Functional Prog. (TFP). XXVIII.  David Herman Aaron Tomb and Cormac Flanagan. 2007. SpaceEfficient Gradual Typing. In Trends in Functional Prog. (TFP). XXVIII."},{"key":"e_1_3_2_2_36_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10990-011-9066-z"},{"key":"e_1_3_2_2_37_1","volume-title":"On Polymorphic Gradual Typing. In International Conference on Functional Programming (ICFP). ACM.","author":"Igarashi Yuu","year":"2017","unstructured":"Yuu Igarashi , Taro Sekiyama , and Atsushi Igarashi . 2017 . On Polymorphic Gradual Typing. In International Conference on Functional Programming (ICFP). ACM. Yuu Igarashi, Taro Sekiyama, and Atsushi Igarashi. 2017. On Polymorphic Gradual Typing. In International Conference on Functional Programming (ICFP). ACM."},{"key":"e_1_3_2_2_38_1","doi-asserted-by":"publisher","DOI":"10.1145\/2048066.2048114"},{"key":"e_1_3_2_2_39_1","doi-asserted-by":"publisher","DOI":"10.1145\/2661103.2661106"},{"key":"e_1_3_2_2_40_1","doi-asserted-by":"publisher","DOI":"10.5555\/1792878.1792881"},{"key":"e_1_3_2_2_41_1","volume-title":"Operational Semantics for Multi-Language Programs. In The 34th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages.","author":"Matthews Jacob","year":"2007","unstructured":"Jacob Matthews and Robert Bruce Findler . 2007 . Operational Semantics for Multi-Language Programs. In The 34th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages. Jacob Matthews and Robert Bruce Findler. 2007. Operational Semantics for Multi-Language Programs. In The 34th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages."},{"key":"e_1_3_2_2_42_1","doi-asserted-by":"publisher","DOI":"10.1145\/3133880"},{"key":"e_1_3_2_2_43_1","doi-asserted-by":"publisher","DOI":"10.1145\/2676726.2676971"},{"key":"e_1_3_2_2_44_1","doi-asserted-by":"publisher","DOI":"10.1145\/3133879"},{"key":"e_1_3_2_2_45_1","volume-title":"Concrete Types for TypeScript. In European Conference on Object-Oriented Programming (ECOOP).","author":"Richards Gregor","year":"2015","unstructured":"Gregor Richards , Francesco Zappa Nardelli , and Jan Vitek . 2015 . Concrete Types for TypeScript. In European Conference on Object-Oriented Programming (ECOOP). Gregor Richards, Francesco Zappa Nardelli, and Jan Vitek. 2015. Concrete Types for TypeScript. In European Conference on Object-Oriented Programming (ECOOP)."},{"key":"e_1_3_2_2_46_1","volume-title":"APLAS 2015, Pohang, South Korea, November 30 - December 2, 2015, Proceedings. 189\u2013207","author":"Sekiyama Taro","year":"2015","unstructured":"Taro Sekiyama , Soichiro Ueda , and Atsushi Igarashi . 2015 . Shifting the Blame - A Blame Calculus with Delimited Control. In Programming Languages and Systems - 13th Asian Symposium , APLAS 2015, Pohang, South Korea, November 30 - December 2, 2015, Proceedings. 189\u2013207 . Taro Sekiyama, Soichiro Ueda, and Atsushi Igarashi. 2015. Shifting the Blame - A Blame Calculus with Delimited Control. In Programming Languages and Systems - 13th Asian Symposium, APLAS 2015, Pohang, South Korea, November 30 - December 2, 2015, Proceedings. 189\u2013207."},{"key":"e_1_3_2_2_47_1","volume-title":"Space-Efficient Blame Tracking for Gradual Types. (April","author":"Siek Jeremy G.","year":"2008","unstructured":"Jeremy G. Siek . 2008. Space-Efficient Blame Tracking for Gradual Types. (April 2008 ). Jeremy G. Siek. 2008. Space-Efficient Blame Tracking for Gradual Types. (April 2008)."},{"key":"e_1_3_2_2_48_1","doi-asserted-by":"publisher","DOI":"10.1145\/2661103.2661112"},{"key":"e_1_3_2_2_49_1","volume-title":"Scheme and Functional Programming Workshop. 81\u201392","author":"Jeremy","unstructured":"Jeremy G. Siek and Walid Taha. 2006. Gradual typing for functional languages . In Scheme and Functional Programming Workshop. 81\u201392 . Jeremy G. Siek and Walid Taha. 2006. Gradual typing for functional languages. In Scheme and Functional Programming Workshop. 81\u201392."},{"key":"e_1_3_2_2_50_1","volume-title":"Gradual Typing for Objects. In European Conference on Object-Oriented Programming (LCNS)","volume":"4609","author":"Jeremy","unstructured":"Jeremy G. Siek and Walid Taha. 2007 . Gradual Typing for Objects. In European Conference on Object-Oriented Programming (LCNS) , Vol. 4609 . 2\u201327. Jeremy G. Siek and Walid Taha. 2007. Gradual Typing for Objects. In European Conference on Object-Oriented Programming (LCNS), Vol. 4609. 2\u201327."},{"key":"e_1_3_2_2_51_1","doi-asserted-by":"publisher","DOI":"10.1145\/2737924.2737968"},{"key":"e_1_3_2_2_52_1","volume-title":"Siek and Sam Tobin-Hochstadt","author":"Jeremy","year":"2016","unstructured":"Jeremy G. Siek and Sam Tobin-Hochstadt . 2016 . The Recursive Union of Some Gradual Types . In Wadler Fest (LNCS), Sam Lindley, Conor McBride, Don Sannella, and Phil Trinder (Eds.). Springer. Jeremy G. Siek and Sam Tobin-Hochstadt. 2016. The Recursive Union of Some Gradual Types. In Wadler Fest (LNCS), Sam Lindley, Conor McBride, Don Sannella, and Phil Trinder (Eds.). Springer."},{"key":"e_1_3_2_2_53_1","doi-asserted-by":"publisher","DOI":"10.1145\/1408681.1408688"},{"key":"e_1_3_2_2_54_1","volume-title":"Refined Criteria for Gradual Typing. In SNAPL: Summit on Advances in Programming Languages (LIPIcs: Leibniz International Proceedings in Informatics).","author":"Siek Jeremy G.","year":"2015","unstructured":"Jeremy G. Siek , Michael M. Vitousek , Matteo Cimini , and John Tang Boyland . 2015 . Refined Criteria for Gradual Typing. In SNAPL: Summit on Advances in Programming Languages (LIPIcs: Leibniz International Proceedings in Informatics). Jeremy G. Siek, Michael M. Vitousek, Matteo Cimini, and John Tang Boyland. 2015. Refined Criteria for Gradual Typing. In SNAPL: Summit on Advances in Programming Languages (LIPIcs: Leibniz International Proceedings in Informatics)."},{"key":"e_1_3_2_2_55_1","volume-title":"Monotonic References for Efficient Gradual Typing. In European Symposium on Programming (ESOP).","author":"Siek Jeremy G.","year":"2015","unstructured":"Jeremy G. Siek , Michael M. Vitousek , Matteo Cimini , Sam TobinHochstadt , and Ronald Garcia . 2015 . Monotonic References for Efficient Gradual Typing. In European Symposium on Programming (ESOP). Jeremy G. Siek, Michael M. Vitousek, Matteo Cimini, Sam TobinHochstadt, and Ronald Garcia. 2015. Monotonic References for Efficient Gradual Typing. In European Symposium on Programming (ESOP)."},{"key":"e_1_3_2_2_56_1","doi-asserted-by":"publisher","DOI":"10.1145\/2384616.2384685"},{"key":"e_1_3_2_2_57_1","doi-asserted-by":"publisher","DOI":"10.1145\/2535838.2535889"},{"key":"e_1_3_2_2_58_1","doi-asserted-by":"publisher","DOI":"10.1145\/2837614.2837630"},{"key":"e_1_3_2_2_59_1","unstructured":"Sam Tobin-Hochstadt. 2019. Personal communication.  Sam Tobin-Hochstadt. 2019. Personal communication."},{"key":"e_1_3_2_2_60_1","doi-asserted-by":"publisher","DOI":"10.1145\/1176617.1176755"},{"key":"e_1_3_2_2_61_1","doi-asserted-by":"publisher","DOI":"10.1145\/1328438.1328486"},{"key":"e_1_3_2_2_62_1","unstructured":"Julien Verlaguet and Alok Menghrajani. {n. d.}. Hack: a new programming langauge for HHVM. https:\/\/code.facebook.com\/posts\/ 264544830379293\/hack-a-new-programming-language-for-hhvm\/  Julien Verlaguet and Alok Menghrajani. {n. d.}. Hack: a new programming langauge for HHVM. https:\/\/code.facebook.com\/posts\/ 264544830379293\/hack-a-new-programming-language-for-hhvm\/"},{"key":"e_1_3_2_2_63_1","volume-title":"Big Types in Little Runtime. In Symposium on Principles of Programming Languages (POPL).","author":"Vitousek Michael","unstructured":"Michael Vitousek , Cameron Swords , and Jeremy G. Siek . 2017 . Big Types in Little Runtime. In Symposium on Principles of Programming Languages (POPL). Michael Vitousek, Cameron Swords, and Jeremy G. Siek. 2017. Big Types in Little Runtime. In Symposium on Principles of Programming Languages (POPL)."},{"key":"e_1_3_2_2_64_1","doi-asserted-by":"publisher","DOI":"10.1145\/2661088.2661101"}],"event":{"name":"PLDI '19: 40th ACM SIGPLAN Conference on Programming Language Design and Implementation","location":"Phoenix AZ USA","acronym":"PLDI '19","sponsor":["SIGPLAN ACM Special Interest Group on Programming Languages"]},"container-title":["Proceedings of the 40th ACM SIGPLAN Conference on Programming Language Design and Implementation"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3314221.3314627","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3314221.3314627","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,17]],"date-time":"2025-06-17T23:53:22Z","timestamp":1750204402000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3314221.3314627"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2019,6,8]]},"references-count":60,"alternative-id":["10.1145\/3314221.3314627","10.1145\/3314221"],"URL":"https:\/\/doi.org\/10.1145\/3314221.3314627","relation":{},"subject":[],"published":{"date-parts":[[2019,6,8]]},"assertion":[{"value":"2019-06-08","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}