{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,7,4]],"date-time":"2025-07-04T20:22:02Z","timestamp":1751660522965,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":32,"publisher":"ACM","license":[{"start":{"date-parts":[[2020,11,15]],"date-time":"2020-11-15T00:00:00Z","timestamp":1605398400000},"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":[[2020,11,16]]},"DOI":"10.1145\/3426425.3426928","type":"proceedings-article","created":{"date-parts":[[2020,11,25]],"date-time":"2020-11-25T01:19:49Z","timestamp":1606267189000},"page":"1-15","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":4,"title":["Gradually typing strategies"],"prefix":"10.1145","author":[{"given":"Jeff","family":"Smits","sequence":"first","affiliation":[{"name":"Delft University of Technology, Netherlands"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Eelco","family":"Visser","sequence":"additional","affiliation":[{"name":"Delft University of Technology, Netherlands"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2020,11,15]]},"reference":[{"key":"e_1_3_2_2_1_1","unstructured":"Peter Borovansk\u00fd Claude Kirchner H\u00e9l\u00e8ne Kirchner Pierre-Etienne Moreau and Christophe Ringeissen. 1998. An overview of ELAN. Electronic Notes in Theoretical Computer Science 15 ( 1998 ) 55-70. htp:\/\/www.elsevier.com\/gej-ng\/31\/29\/23\/39\/23\/show\/Products\/ notes\/index.ht# 022  Peter Borovansk\u00fd Claude Kirchner H\u00e9l\u00e8ne Kirchner Pierre-Etienne Moreau and Christophe Ringeissen. 1998. An overview of ELAN. Electronic Notes in Theoretical Computer Science 15 ( 1998 ) 55-70. htp:\/\/www.elsevier.com\/gej-ng\/31\/29\/23\/39\/23\/show\/Products\/ notes\/index.ht# 022"},{"key":"e_1_3_2_2_2_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.scico.2007.11.003"},{"key":"e_1_3_2_2_3_1","first-page":"1","article-title":"Program Transformation with Scoped Dynamic Rewrite Rules","volume":"69","author":"Bravenboer Martin","year":"2006","unstructured":"Martin Bravenboer , Arthur van Dam , Karina Olmos , and Eelco Visser . 2006 . Program Transformation with Scoped Dynamic Rewrite Rules . Fundamenta Informaticae 69 , 1 - 2 ( 2006 ), 123-178. htps:\/\/content. iospress.com\/articles\/fundamenta-informaticae \/fi69-1-2-06 Martin Bravenboer, Arthur van Dam, Karina Olmos, and Eelco Visser. 2006. Program Transformation with Scoped Dynamic Rewrite Rules. Fundamenta Informaticae 69, 1-2 ( 2006 ), 123-178. htps:\/\/content. iospress.com\/articles\/fundamenta-informaticae \/fi69-1-2-06","journal-title":"Fundamenta Informaticae"},{"key":"e_1_3_2_2_4_1","doi-asserted-by":"publisher","DOI":"10.1145\/1028976.1029007"},{"key":"e_1_3_2_2_5_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-030-58768-0_1"},{"key":"e_1_3_2_2_6_1","doi-asserted-by":"publisher","DOI":"10.1145\/3276604.3276608"},{"key":"e_1_3_2_2_7_1","doi-asserted-by":"publisher","DOI":"10.1145\/2577080.2577089"},{"key":"e_1_3_2_2_8_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.jsc.2010.08.006"},{"key":"e_1_3_2_2_9_1","doi-asserted-by":"crossref","unstructured":"David Herman Aaron Tomb and Cormac Flanagan. 2010. Spaceeficient gradual typing. Higher-Order and Symbolic Computation 23 2 ( 2010 ) 167-189. htps:\/\/doi.org\/10.1007\/s10990-011-9066-z  David Herman Aaron Tomb and Cormac Flanagan. 2010. Spaceeficient gradual typing. Higher-Order and Symbolic Computation 23 2 ( 2010 ) 167-189. htps:\/\/doi.org\/10.1007\/s10990-011-9066-z","DOI":"10.1007\/s10990-011-9066-z"},{"key":"e_1_3_2_2_10_1","doi-asserted-by":"publisher","DOI":"10.1145\/1449764.1449772"},{"key":"e_1_3_2_2_11_1","volume-title":"Kats and Eelco Visser","author":"Lennart C.","year":"2010","unstructured":"Lennart C. L. Kats and Eelco Visser . 2010 . The Spoofax language workbench: rules for declarative specification of languages and IDEs. In Proceedings of the 25th Annual ACM SIGPLAN Conference on ObjectOriented Programming, Systems, Languages, and Applications, OOPSLA 2010, William R. Cook, Siobh\u00e1n Clarke, and Martin C. Rinard (Eds.). ACM, Reno\/Tahoe, Nevada , 444-463. htps:\/\/doi.org\/10.1145\/1869459. 1869497 Lennart C. L. Kats and Eelco Visser. 2010. The Spoofax language workbench: rules for declarative specification of languages and IDEs. In Proceedings of the 25th Annual ACM SIGPLAN Conference on ObjectOriented Programming, Systems, Languages, and Applications, OOPSLA 2010, William R. Cook, Siobh\u00e1n Clarke, and Martin C. Rinard (Eds.). ACM, Reno\/Tahoe, Nevada, 444-463. htps:\/\/doi.org\/10.1145\/1869459. 1869497"},{"key":"e_1_3_2_2_12_1","article-title":"PIE: A Domain-Specific Language for Interactive Software Development Pipelines","volume":"2","author":"Konat Gabri\u00ebl","year":"2018","unstructured":"Gabri\u00ebl Konat , Michael J. Steindorfer , Sebastian Erdweg , and Eelco Visser . 2018 . PIE: A Domain-Specific Language for Interactive Software Development Pipelines . Programming Journal 2 , 3 ( 2018 ), 9. htps: \/\/doi.org\/10.22152\/programming-journal Gabri\u00ebl Konat, Michael J. Steindorfer, Sebastian Erdweg, and Eelco Visser. 2018. PIE: A Domain-Specific Language for Interactive Software Development Pipelines. Programming Journal 2, 3 ( 2018 ), 9. htps: \/\/doi.org\/10.22152\/programming-journal","journal-title":"Programming Journal"},{"volume-title":"2nd International Workshop on the Theory and Practice of Algebraic Specifications (ASF+SDF 1997 ) (Electronic Workshops in Computing)","author":"Luttik Bas","key":"e_1_3_2_2_13_1","unstructured":"Bas Luttik and Eelco Visser . 1997. Specification of Rewriting Strategies . In 2nd International Workshop on the Theory and Practice of Algebraic Specifications (ASF+SDF 1997 ) (Electronic Workshops in Computing) , M. P. A. Sellink (Ed.). Springer-Verlag , Berlin . Bas Luttik and Eelco Visser. 1997. Specification of Rewriting Strategies. In 2nd International Workshop on the Theory and Practice of Algebraic Specifications (ASF+SDF 1997 ) (Electronic Workshops in Computing), M. P. A. Sellink (Ed.). Springer-Verlag, Berlin."},{"key":"e_1_3_2_2_14_1","doi-asserted-by":"publisher","DOI":"10.1016\/S1567-8326(02)00028-0"},{"key":"e_1_3_2_2_15_1","volume-title":"Proceedings of TLDI 03: 2003 ACM SIGPLAN International Workshop on Types in Languages Design and Implementation","author":"L\u00e4mmel Ralf","year":"2003","unstructured":"Ralf L\u00e4mmel and Simon L . Peyton Jones. 2003. Scrap your boilerplate: a practical design pattern for generic programming . In Proceedings of TLDI 03: 2003 ACM SIGPLAN International Workshop on Types in Languages Design and Implementation , New Orleans, Louisiana, USA , January 18, 2003 , Zhong Shao and Peter Lee (Eds.). ACM, 26-37. htps: \/\/doi.org\/10.1145\/604174.604179 Ralf L\u00e4mmel and Simon L. Peyton Jones. 2003. Scrap your boilerplate: a practical design pattern for generic programming. In Proceedings of TLDI 03: 2003 ACM SIGPLAN International Workshop on Types in Languages Design and Implementation, New Orleans, Louisiana, USA, January 18, 2003, Zhong Shao and Peter Lee (Eds.). ACM, 26-37. htps: \/\/doi.org\/10.1145\/604174.604179"},{"key":"e_1_3_2_2_16_1","first-page":"137","volume-title":"4th International Symposium, PADL 2002, Portland, OR, USA, January 19-20, 2002, Proceedings (Lecture Notes in Computer Science","volume":"2257","author":"L\u00e4mmel Ralf","year":"2002","unstructured":"Ralf L\u00e4mmel and Joost Visser . 2002 . Typed Combinators for Generic Traversal. In Practical Aspects of Declarative Languages , 4th International Symposium, PADL 2002, Portland, OR, USA, January 19-20, 2002, Proceedings (Lecture Notes in Computer Science , Vol. 2257 ), Shriram Krishnamurthi and C. R. Ramakrishnan (Eds.). Springer , 137 - 154 . htp: \/\/link.springer.de\/link\/service\/series\/0558\/bibs\/2257\/22570137.htm Ralf L\u00e4mmel and Joost Visser. 2002. Typed Combinators for Generic Traversal. In Practical Aspects of Declarative Languages, 4th International Symposium, PADL 2002, Portland, OR, USA, January 19-20, 2002, Proceedings (Lecture Notes in Computer Science, Vol. 2257 ), Shriram Krishnamurthi and C. R. Ramakrishnan (Eds.). Springer, 137-154. htp: \/\/link.springer.de\/link\/service\/series\/0558\/bibs\/2257\/22570137.htm"},{"key":"e_1_3_2_2_17_1","first-page":"357","volume-title":"5th International Symposium, PADL 2003, New Orleans, LA, USA, January 13-14, 2003, Proceedings (Lecture Notes in Computer Science","volume":"2562","author":"L\u00e4mmel Ralf","year":"2003","unstructured":"Ralf L\u00e4mmel and Joost Visser . 2003 . A Strafunski Application Letter. In Practical Aspects of Declarative Languages , 5th International Symposium, PADL 2003, New Orleans, LA, USA, January 13-14, 2003, Proceedings (Lecture Notes in Computer Science , Vol. 2562 ), Ver\u00f3nica Dahl and Philip Wadler (Eds.). Springer , 357 - 375 . htp:\/\/link.springer.de\/link\/service\/ series\/0558\/bibs\/2562\/25620357.htm Ralf L\u00e4mmel and Joost Visser. 2003. A Strafunski Application Letter. In Practical Aspects of Declarative Languages, 5th International Symposium, PADL 2003, New Orleans, LA, USA, January 13-14, 2003, Proceedings (Lecture Notes in Computer Science, Vol. 2562 ), Ver\u00f3nica Dahl and Philip Wadler (Eds.). Springer, 357-375. htp:\/\/link.springer.de\/link\/service\/ series\/0558\/bibs\/2562\/25620357.htm"},{"key":"e_1_3_2_2_18_1","doi-asserted-by":"crossref","unstructured":"Jon Meyer and Troy Downing. 1997. Java Virtual Machine. O Reilly.  Jon Meyer and Troy Downing. 1997. Java Virtual Machine. O Reilly.","DOI":"10.1016\/S1353-4858(97)83033-4"},{"key":"e_1_3_2_2_19_1","doi-asserted-by":"publisher","DOI":"10.1145\/3133880"},{"key":"e_1_3_2_2_20_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-31985-6_14"},{"key":"e_1_3_2_2_21_1","unstructured":"Daniel Reynaud. 2006. JasminXT Syntax. Available at htp:\/\/jasmin. sourceforge.net\/xt.html.  Daniel Reynaud. 2006. JasminXT Syntax. Available at htp:\/\/jasmin. sourceforge.net\/xt.html."},{"key":"e_1_3_2_2_22_1","volume-title":"Abstraction and Parametric Polymorphism. In IFIP Congress. 513-523","author":"Reynolds John C.","year":"1983","unstructured":"John C. Reynolds . 1983 . Types , Abstraction and Parametric Polymorphism. In IFIP Congress. 513-523 . John C. Reynolds. 1983. Types, Abstraction and Parametric Polymorphism. In IFIP Congress. 513-523."},{"key":"e_1_3_2_2_23_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-00590-9_2"},{"key":"e_1_3_2_2_24_1","first-page":"81","volume-title":"Scheme and Functional Programming Workshop","volume":"6","author":"Jeremy","unstructured":"Jeremy G. Siek and Walid Taha. 2006. Gradual typing for functional languages . In Scheme and Functional Programming Workshop , Vol. 6 . 81 - 92 . Jeremy G. Siek and Walid Taha. 2006. Gradual typing for functional languages. In Scheme and Functional Programming Workshop, Vol. 6. 81-92."},{"key":"e_1_3_2_2_25_1","first-page":"2","volume-title":"Gradual Typing for Objects. In ECOOP 2007-Object-Oriented Programming, 21st European Conference, Berlin, Germany, July 30-August 3, 2007, Proceedings (Lecture Notes in Computer Science","volume":"4609","author":"Jeremy","unstructured":"Jeremy G. Siek and Walid Taha. 2007 . Gradual Typing for Objects. In ECOOP 2007-Object-Oriented Programming, 21st European Conference, Berlin, Germany, July 30-August 3, 2007, Proceedings (Lecture Notes in Computer Science , Vol. 4609 ), Erik Ernst (Ed.). Springer , 2 - 27 . htps: \/\/doi.org\/10.1007\/978-3-540-73589-2_2 Jeremy G. Siek and Walid Taha. 2007. Gradual Typing for Objects. In ECOOP 2007-Object-Oriented Programming, 21st European Conference, Berlin, Germany, July 30-August 3, 2007, Proceedings (Lecture Notes in Computer Science, Vol. 4609 ), Erik Ernst (Ed.). Springer, 2-27. htps: \/\/doi.org\/10.1007\/978-3-540-73589-2_2"},{"key":"e_1_3_2_2_26_1","article-title":"Constructing Hybrid Incremental Compilers for Cross-Module Extensibility with an Internal Build System","volume":"4","author":"Smits Jef","year":"2020","unstructured":"Jef Smits , Gabri\u00ebl D. P. Konat , and Eelco Visser . 2020 . Constructing Hybrid Incremental Compilers for Cross-Module Extensibility with an Internal Build System . Programming Journal 4 , 3 ( 2020 ), 16. htps: \/\/doi.org\/10.22152\/programming-journal Jef Smits, Gabri\u00ebl D. P. Konat, and Eelco Visser. 2020. Constructing Hybrid Incremental Compilers for Cross-Module Extensibility with an Internal Build System. Programming Journal 4, 3 ( 2020 ), 16. htps: \/\/doi.org\/10.22152\/programming-journal","journal-title":"Programming Journal"},{"key":"e_1_3_2_2_27_1","first-page":"30","volume-title":"10th International Conference, RTA-99, Trento, Italy, July 2-4, 1999, Proceedings (Lecture Notes in Computer Science","volume":"1631","author":"Visser Eelco","year":"1999","unstructured":"Eelco Visser . 1999 . Strategic Pattern Matching. In Rewriting Techniques and Applications , 10th International Conference, RTA-99, Trento, Italy, July 2-4, 1999, Proceedings (Lecture Notes in Computer Science , Vol. 1631 ), Paliath Narendran and Micha\u00ebl Rusinowitch (Eds.). Springer , 30 - 44 . htps:\/\/doi.org\/10.1007\/3-540-48685-2_3 Eelco Visser. 1999. Strategic Pattern Matching. In Rewriting Techniques and Applications, 10th International Conference, RTA-99, Trento, Italy, July 2-4, 1999, Proceedings (Lecture Notes in Computer Science, Vol. 1631 ), Paliath Narendran and Micha\u00ebl Rusinowitch (Eds.). Springer, 30-44. htps:\/\/doi.org\/10.1007\/3-540-48685-2_3"},{"key":"e_1_3_2_2_28_1","unstructured":"Eelco Visser. 2001. Scoped Dynamic Rewrite Rules. Electronic Notes in Theoretical Computer Science 59 4 ( 2001 ) 375-396. htps:\/\/doi.org\/10. 1016\/S1571-0661 ( 04 ) 00298-1  Eelco Visser. 2001. Scoped Dynamic Rewrite Rules. Electronic Notes in Theoretical Computer Science 59 4 ( 2001 ) 375-396. htps:\/\/doi.org\/10. 1016\/S1571-0661 ( 04 ) 00298-1"},{"key":"e_1_3_2_2_29_1","unstructured":"Eelco Visser and Zine-El-Abidine Benaissa. 1998. A core language for rewriting. Electronic Notes in Theoretical Computer Science 15 ( 1998 ) 422-441. htps:\/\/doi.org\/10.1016\/S1571-0661 ( 05 ) 80027-1  Eelco Visser and Zine-El-Abidine Benaissa. 1998. A core language for rewriting. Electronic Notes in Theoretical Computer Science 15 ( 1998 ) 422-441. htps:\/\/doi.org\/10.1016\/S1571-0661 ( 05 ) 80027-1"},{"key":"e_1_3_2_2_30_1","first-page":"13","volume-title":"Proceedings of the third ACM SIGPLAN international conference on Functional programming, Matthias Felleisen, Paul Hudak, and Christian Queinnec (Eds.). ACM","author":"Visser Eelco","unstructured":"Eelco Visser , Zine- El-Abidine Benaissa , and Andrew P. Tolmach . 1998. Building Program Optimizers with Rewriting Strategies . In Proceedings of the third ACM SIGPLAN international conference on Functional programming, Matthias Felleisen, Paul Hudak, and Christian Queinnec (Eds.). ACM , Baltimore, Maryland, United States , 13 - 26 . htps:\/\/doi.org\/10.1145\/289423.289425 Eelco Visser, Zine-El-Abidine Benaissa, and Andrew P. Tolmach. 1998. Building Program Optimizers with Rewriting Strategies. In Proceedings of the third ACM SIGPLAN international conference on Functional programming, Matthias Felleisen, Paul Hudak, and Christian Queinnec (Eds.). ACM, Baltimore, Maryland, United States, 13-26. htps:\/\/doi.org\/10.1145\/289423.289425"},{"key":"e_1_3_2_2_31_1","doi-asserted-by":"publisher","DOI":"10.1145\/99370.99404"},{"key":"e_1_3_2_2_32_1","volume-title":"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-27th European Symposium on Programming, ESOP 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings (Lecture Notes in Computer Science, Vol. 10801 ), Amal Ahmed (Ed.). Springer , 3-30. htps:\/\/doi.org\/10.1007\/978-3-319-89884-1_1 Ningning Xie, Xuan Bi, and Bruno C. D. S. Oliveira. 2018. Consistent Subtyping for All. In Programming Languages and Systems-27th European Symposium on Programming, ESOP 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings (Lecture Notes in Computer Science, Vol. 10801 ), Amal Ahmed (Ed.). Springer, 3-30. htps:\/\/doi.org\/10.1007\/978-3-319-89884-1_1"}],"event":{"name":"SPLASH '20: Conference on Systems, Programming, Languages, and Applications, Software for Humanity","sponsor":["SIGPLAN ACM Special Interest Group on Programming Languages"],"location":"Virtual USA","acronym":"SPLASH '20"},"container-title":["Proceedings of the 13th ACM SIGPLAN International Conference on Software Language Engineering"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3426425.3426928","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3426425.3426928","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,17]],"date-time":"2025-06-17T21:31:33Z","timestamp":1750195893000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3426425.3426928"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2020,11,15]]},"references-count":32,"alternative-id":["10.1145\/3426425.3426928","10.1145\/3426425"],"URL":"https:\/\/doi.org\/10.1145\/3426425.3426928","relation":{},"subject":[],"published":{"date-parts":[[2020,11,15]]},"assertion":[{"value":"2020-11-15","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}