{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,10,2]],"date-time":"2026-10-02T07:51:18Z","timestamp":1790927478014,"version":"4.1.0"},"reference-count":53,"publisher":"Association for Computing Machinery (ACM)","issue":"POPL","license":[{"start":{"date-parts":[[2019,1,2]],"date-time":"2019-01-02T00:00:00Z","timestamp":1546387200000},"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":["Proc. ACM Program. Lang."],"published-print":{"date-parts":[[2019,1,2]]},"abstract":"<jats:p>We define a new, more semantic interpretation of gradual types and use it to ``gradualize'' two forms of polymorphism: subtyping polymorphism and implicit parametric polymorphism. In particular, we use the new interpretation to define three gradual type systems ---Hindley-Milner, with subtyping, and with union and intersection types--- in terms of two preorders, subtyping and materialization. We define these systems both declaratively ---by adding two subsumption-like rules--- which yields clearer, more intelligible, and streamlined definitions, and algorithmically by reusing existing techniques such as unification and tallying.<\/jats:p>","DOI":"10.1145\/3290329","type":"journal-article","created":{"date-parts":[[2019,1,4]],"date-time":"2019-01-04T08:33:51Z","timestamp":1546590831000},"page":"1-32","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":36,"title":["Gradual typing: a new perspective"],"prefix":"10.1145","volume":"3","author":[{"given":"Giuseppe","family":"Castagna","sequence":"first","affiliation":[{"name":"CNRS, France \/ University of Paris Diderot, France"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Victor","family":"Lanvin","sequence":"additional","affiliation":[{"name":"University of Paris Diderot, France"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Tommaso","family":"Petrucciani","sequence":"additional","affiliation":[{"name":"University of Genoa, Italy \/ University of Paris Diderot, France"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Jeremy G.","family":"Siek","sequence":"additional","affiliation":[{"name":"Indiana University, USA"}],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"320","published-online":{"date-parts":[[2019,1,2]]},"reference":[{"key":"e_1_2_2_1_1","doi-asserted-by":"publisher","DOI":"10.1145\/1925844.1926409"},{"key":"e_1_2_2_2_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_2_2_3_1","doi-asserted-by":"publisher","DOI":"10.1145\/165180.165188"},{"key":"e_1_2_2_4_1","doi-asserted-by":"publisher","DOI":"10.1145\/174675.177847"},{"key":"e_1_2_2_5_1","volume-title":"Gradual Intersection Types. In Workshop on Intersection Types and Related Systems.","author":"\u00c1ngelo Pedro","year":"2018","unstructured":"Pedro \u00c1ngelo and M\u00e1rio Florido . 2018 . Gradual Intersection Types. In Workshop on Intersection Types and Related Systems. Pedro \u00c1ngelo and M\u00e1rio Florido. 2018. Gradual Intersection Types. In Workshop on Intersection Types and Related Systems."},{"key":"e_1_2_2_6_1","doi-asserted-by":"publisher","DOI":"10.1145\/3133878"},{"key":"e_1_2_2_7_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-662-44202-9_11"},{"key":"e_1_2_2_8_1","doi-asserted-by":"publisher","DOI":"10.1145\/3158103"},{"key":"e_1_2_2_9_1","doi-asserted-by":"publisher","DOI":"10.1145\/113445.113469"},{"key":"e_1_2_2_10_1","doi-asserted-by":"publisher","DOI":"10.1007\/11560586_1"},{"key":"e_1_2_2_11_1","unstructured":"Giuseppe Castagna. 2018. Covariance and Contravariance: a fresh look at an old issue (a primer in advanced type systems for learning functional programmers). (2018). First version: 02\/2013 last revision: 09\/2018. Unpublished manuscript.  Giuseppe Castagna. 2018. Covariance and Contravariance: a fresh look at an old issue (a primer in advanced type systems for learning functional programmers). (2018). First version: 02\/2013 last revision: 09\/2018. Unpublished manuscript."},{"key":"e_1_2_2_12_1","doi-asserted-by":"publisher","DOI":"10.1145\/1069774.1069793"},{"key":"e_1_2_2_13_1","doi-asserted-by":"publisher","DOI":"10.1145\/3110285"},{"key":"e_1_2_2_14_1","doi-asserted-by":"publisher","DOI":"10.1145\/2676726.2676991"},{"key":"e_1_2_2_15_1","doi-asserted-by":"publisher","DOI":"10.1145\/2951913.2951928"},{"key":"e_1_2_2_16_1","doi-asserted-by":"publisher","DOI":"10.1145\/2034773.2034788"},{"key":"e_1_2_2_17_1","doi-asserted-by":"publisher","DOI":"10.1016\/0304-3975(83)90059-2"},{"key":"e_1_2_2_18_1","doi-asserted-by":"publisher","DOI":"10.1145\/3009837.3009882"},{"key":"e_1_2_2_20_1","doi-asserted-by":"publisher","DOI":"10.1145\/1391289.1391293"},{"key":"e_1_2_2_21_1","volume-title":"ESOP \u201988","author":"Fuh You-Chin","unstructured":"You-Chin Fuh and Prateek Mishra . 1988. Type inference with subtypes . In ESOP \u201988 , H. Ganzinger (Ed.). Springer Berlin Heidelberg , Berlin, Heidelberg , 94\u2013114. You-Chin Fuh and Prateek Mishra. 1988. Type inference with subtypes. In ESOP \u201988, H. Ganzinger (Ed.). Springer Berlin Heidelberg, Berlin, Heidelberg, 94\u2013114."},{"key":"e_1_2_2_22_1","doi-asserted-by":"publisher","DOI":"10.1145\/2500365.2500603"},{"key":"e_1_2_2_23_1","doi-asserted-by":"publisher","DOI":"10.1145\/2676726.2676992"},{"key":"e_1_2_2_24_1","doi-asserted-by":"publisher","DOI":"10.1145\/2837614.2837670"},{"key":"e_1_2_2_25_1","doi-asserted-by":"publisher","DOI":"10.1145\/2812805"},{"key":"e_1_2_2_26_1","volume-title":"Programming Languages: Theory and Practice","author":"Harper Robert","year":"2006","unstructured":"Robert Harper . 2006 . Programming Languages: Theory and Practice . Carnegie Mellon University . Available on the web: http:\/\/fpl.cs.depaul.edu\/jriely\/547\/extras\/online.pdf . Robert Harper. 2006. Programming Languages: Theory and Practice. Carnegie Mellon University. Available on the web: http:\/\/fpl.cs.depaul.edu\/jriely\/547\/extras\/online.pdf ."},{"key":"e_1_2_2_27_1","doi-asserted-by":"publisher","DOI":"10.1016\/0167-6423(94)00004-2"},{"key":"e_1_2_2_28_1","doi-asserted-by":"publisher","DOI":"10.1145\/357766.351242"},{"key":"e_1_2_2_29_1","doi-asserted-by":"publisher","DOI":"10.1145\/3110284"},{"key":"e_1_2_2_30_1","doi-asserted-by":"publisher","DOI":"10.1145\/2048066.2048114"},{"key":"e_1_2_2_31_1","doi-asserted-by":"publisher","DOI":"10.1145\/3009837.3009865"},{"key":"e_1_2_2_32_1","doi-asserted-by":"publisher","DOI":"10.1145\/2784731.2784737"},{"key":"e_1_2_2_33_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.tcs.2003.10.032"},{"key":"e_1_2_2_34_1","doi-asserted-by":"publisher","DOI":"10.1145\/3009837.3009856"},{"key":"e_1_2_2_35_1","doi-asserted-by":"publisher","DOI":"10.1145\/2617548.2617553"},{"key":"e_1_2_2_36_1","doi-asserted-by":"publisher","DOI":"10.1145\/357162.357169"},{"key":"e_1_2_2_37_1","doi-asserted-by":"publisher","DOI":"10.1017\/S0956796800000113"},{"key":"e_1_2_2_38_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.ipl.2010.12.006"},{"key":"e_1_2_2_40_1","doi-asserted-by":"publisher","DOI":"10.1006\/inco.2001.2963"},{"key":"e_1_2_2_41_1","volume-title":"Advanced Topics in Types and Programming Languages, Benjamin C","author":"Pottier Fran\u00e7ois","unstructured":"Fran\u00e7ois Pottier and Didier R\u00e9my . 2005. The essence of ML type inference . In Advanced Topics in Types and Programming Languages, Benjamin C . Pierce (Ed.). MIT Press , Chapter 10, 389\u2013489. Fran\u00e7ois Pottier and Didier R\u00e9my. 2005. The essence of ML type inference. In Advanced Topics in Types and Programming Languages, Benjamin C. Pierce (Ed.). MIT Press, Chapter 10, 389\u2013489."},{"key":"e_1_2_2_42_1","doi-asserted-by":"publisher","DOI":"10.1145\/2103656.2103714"},{"key":"e_1_2_2_43_1","doi-asserted-by":"publisher","DOI":"10.1016\/0304-3975(88)90101-6"},{"key":"e_1_2_2_44_1","doi-asserted-by":"publisher","DOI":"10.1145\/2994594"},{"key":"e_1_2_2_45_1","volume-title":"Proceedings of Scheme and Functional Programming Workshop. ACM, 81\u201392","author":"Jeremy","unstructured":"Jeremy G. Siek and Walid Taha. 2006. Gradual Typing for Functional Languages . In Proceedings of Scheme and Functional Programming Workshop. ACM, 81\u201392 . Jeremy G. Siek and Walid Taha. 2006. Gradual Typing for Functional Languages. In Proceedings of Scheme and Functional Programming Workshop. ACM, 81\u201392."},{"key":"e_1_2_2_46_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_2_2_47_1","doi-asserted-by":"publisher","DOI":"10.1145\/2813885.2737968"},{"key":"e_1_2_2_48_1","doi-asserted-by":"publisher","DOI":"10.1145\/1408681.1408688"},{"key":"e_1_2_2_50_1","volume-title":"LIPIcs-Leibniz International Proceedings in Informatics","volume":"32","author":"Siek Jeremy G.","year":"2015","unstructured":"Jeremy G. Siek , Michael M. Vitousek , Matteo Cimini , and John Tang Boyland . 2015 b. Refined criteria for gradual typing . In LIPIcs-Leibniz International Proceedings in Informatics , Vol. 32 . Schloss Dagstuhl-Leibniz-Zentrum fuer Informatik. Jeremy G. Siek, Michael M. Vitousek, Matteo Cimini, and John Tang Boyland. 2015b. Refined criteria for gradual typing. In LIPIcs-Leibniz International Proceedings in Informatics, Vol. 32. Schloss Dagstuhl-Leibniz-Zentrum fuer Informatik."},{"key":"e_1_2_2_51_1","doi-asserted-by":"publisher","DOI":"10.1145\/2535838.2535889"},{"key":"e_1_2_2_52_1","doi-asserted-by":"publisher","DOI":"10.1145\/2837614.2837630"},{"key":"e_1_2_2_53_1","volume-title":"Proceedings of the 24th Static Analysis Symposium (SAS 2017)","volume":"10422","author":"Mat\u00edas","unstructured":"Mat\u00edas Toro and \u00c9ric Tanter. 2017. A Gradual Interpretation of Union Types . In Proceedings of the 24th Static Analysis Symposium (SAS 2017) (Lecture Notes in Computer Science) , Vol. 10422 . Springer-Verlag, New York City, NY, USA, 382\u2013404. Mat\u00edas Toro and \u00c9ric Tanter. 2017. A Gradual Interpretation of Union Types. In Proceedings of the 24th Static Analysis Symposium (SAS 2017) (Lecture Notes in Computer Science), Vol. 10422. Springer-Verlag, New York City, NY, USA, 382\u2013404."},{"key":"e_1_2_2_54_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-00590-9_1"},{"key":"e_1_2_2_55_1","doi-asserted-by":"publisher","DOI":"10.3233\/FI-1987-10202"},{"key":"e_1_2_2_56_1","volume-title":"d. S. Oliveira","author":"Xie Ningning","year":"2018","unstructured":"Ningning Xie , Xuan Bi , and Bruno C . d. S. Oliveira . 2018 . Consistent Subtyping for All. In Programming Languages and Systems, Amal Ahmed (Ed.). Springer International Publishing , Cham, 3\u201330. Ningning Xie, Xuan Bi, and Bruno C. d. S. Oliveira. 2018. Consistent Subtyping for All. In Programming Languages and Systems, Amal Ahmed (Ed.). Springer International Publishing, Cham, 3\u201330."}],"container-title":["Proceedings of the ACM on Programming Languages"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3290329","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3290329","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,17]],"date-time":"2025-06-17T21:02:07Z","timestamp":1750194127000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3290329"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2019,1,2]]},"references-count":53,"journal-issue":{"issue":"POPL","published-print":{"date-parts":[[2019,1,2]]}},"alternative-id":["10.1145\/3290329"],"URL":"https:\/\/doi.org\/10.1145\/3290329","relation":{},"ISSN":["2475-1421"],"issn-type":[{"value":"2475-1421","type":"electronic"}],"subject":[],"published":{"date-parts":[[2019,1,2]]},"assertion":[{"value":"2019-01-02","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}