{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T04:36:23Z","timestamp":1750221383836,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":77,"publisher":"ACM","license":[{"start":{"date-parts":[[2017,12,25]],"date-time":"2017-12-25T00:00:00Z","timestamp":1514160000000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"funder":[{"DOI":"10.13039\/100000001","name":"NSF","doi-asserted-by":"publisher","award":["1518844,0846121"],"award-info":[{"award-number":["1518844,0846121"]}],"id":[{"id":"10.13039\/100000001","id-type":"DOI","asserted-by":"publisher"}]},{"name":"Swedish Foundation for Strategic Research","award":["FFL15-0032"],"award-info":[{"award-number":["FFL15-0032"]}]},{"name":"Swedish Research Council","award":["623-2011-955"],"award-info":[{"award-number":["623-2011-955"]}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2017,12,25]]},"DOI":"10.1145\/3162068","type":"proceedings-article","created":{"date-parts":[[2018,6,1]],"date-time":"2018-06-01T20:20:41Z","timestamp":1527884441000},"page":"15-29","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":4,"title":["Gradually typed symbolic expressions"],"prefix":"10.1145","author":[{"given":"David","family":"Broman","sequence":"first","affiliation":[{"name":"KTH, Sweden"}]},{"given":"Jeremy G.","family":"Siek","sequence":"additional","affiliation":[{"name":"Indiana University, USA"}]}],"member":"320","published-online":{"date-parts":[[2017,12,25]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.1145\/1926385.1926409"},{"key":"e_1_3_2_1_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_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1145\/1411204.1411236"},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1145\/2364527.2364573"},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1145\/2228360.2228584"},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1145\/289423.289440"},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.scico.2007.11.003"},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1145\/1028976.1029007"},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-27694-1_19"},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1145\/1173706.1173729"},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1177\/0037549704046340"},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.5555\/954186.954190"},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1017\/S0956796809007205"},{"key":"e_1_3_2_1_16_1","volume-title":"First-Class Phantom Types. CISTR TR2003-1901","author":"Cheney James","year":"2003","unstructured":"James Cheney and Hinze Ralf . 2003 . First-Class Phantom Types. CISTR TR2003-1901 . Cornell University. James Cheney and Hinze Ralf. 2003. First-Class Phantom Types. CISTR TR2003-1901. Cornell University."},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1145\/1926385.1926410"},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.scico.2007.02.003"},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1145\/258948.258973"},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1109\/CACSD.1999.808720"},{"key":"e_1_3_2_1_21_1","volume-title":"Proceedings ESM'94 European Simulation Multiconference. 326-332","author":"Elmqvist Hilding","year":"1994","unstructured":"Hilding Elmqvist and Martin Otter . 1994 . Methods for Tearing Systems of Equations in Object-Oriented Modelling . In Proceedings ESM'94 European Simulation Multiconference. 326-332 . Hilding Elmqvist and Martin Otter. 1994. Methods for Tearing Systems of Equations in Object-Oriented Modelling. In Proceedings ESM'94 European Simulation Multiconference. 326-332."},{"key":"e_1_3_2_1_22_1","first-page":"113","volume-title":"1st Summit on Advances in Programming Languages (SNAPL 2015)","volume":"32","author":"Felleisen Matthias","year":"2015","unstructured":"Matthias Felleisen , Robert Bruce Findler , Matthew Flatt , Shriram Krishnamurthi , Eli Barzilay , Jay McCarthy , and Sam Tobin-Hochstadt . 2015 . The Racket Manifesto . In 1st Summit on Advances in Programming Languages (SNAPL 2015) (LIPIcs), Vol. 32 . Schloss Dagstuhl-Leibniz-Zentrum fuer Informatik, Dagstuhl, Germany , 113 - 128 . Matthias Felleisen, Robert Bruce Findler, Matthew Flatt, Shriram Krishnamurthi, Eli Barzilay, Jay McCarthy, and Sam Tobin-Hochstadt. 2015. The Racket Manifesto. In 1st Summit on Advances in Programming Languages (SNAPL 2015) (LIPIcs), Vol. 32. Schloss Dagstuhl-Leibniz-Zentrum fuer Informatik, Dagstuhl, Germany, 113-128."},{"key":"e_1_3_2_1_23_1","doi-asserted-by":"publisher","DOI":"10.1145\/2692915.2628138"},{"key":"e_1_3_2_1_24_1","doi-asserted-by":"publisher","DOI":"10.5555\/2044476.2044484"},{"key":"e_1_3_2_1_25_1","doi-asserted-by":"publisher","DOI":"10.1145\/1094811.1094830"},{"key":"e_1_3_2_1_26_1","volume-title":"Proceedings of the 2006 Scheme and Functional Programming Workshop. 93-104","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 Proceedings of the 2006 Scheme and Functional Programming Workshop. 93-104 . Jessica Gronski, Kenneth Knowles, Aaron Tomb, Stephen N. Freund, and Cormac Flanagan. 2006. Sage: Hybrid checking for flexible specifications. In Proceedings of the 2006 Scheme and Functional Programming Workshop. 93-104."},{"volume-title":"Functional Programming Languages and Computer Architecture (LNCS)","author":"Henglein Fritz","key":"e_1_3_2_1_27_1","unstructured":"Fritz Henglein . 1991. Efficient type inference for higher-order binding-time analysis . In Functional Programming Languages and Computer Architecture (LNCS) , Vol. 523 . Springer-Verlag , 448-472. Fritz Henglein. 1991. Efficient type inference for higher-order binding-time analysis. In Functional Programming Languages and Computer Architecture (LNCS), Vol. 523. Springer-Verlag, 448-472."},{"key":"e_1_3_2_1_28_1","doi-asserted-by":"publisher","DOI":"10.1145\/1089014.1089020"},{"key":"e_1_3_2_1_29_1","doi-asserted-by":"publisher","DOI":"10.1145\/1449913.1449935"},{"key":"e_1_3_2_1_30_1","volume-title":"Building domain-specific embedded languages. ACM Computing Surveys","author":"Hudak Paul","year":"1996","unstructured":"Paul Hudak . 1996. Building domain-specific embedded languages. ACM Computing Surveys ( 1996 ). Paul Hudak. 1996. Building domain-specific embedded languages. ACM Computing Surveys (1996)."},{"key":"e_1_3_2_1_31_1","doi-asserted-by":"publisher","DOI":"10.1145\/355958.355963"},{"volume-title":"IEEE Standard VHDL Analog and Mixed-Signal Extensions","author":"IEEE","key":"e_1_3_2_1_32_1","unstructured":"IEEE Std 1076.1-2007. 2007. IEEE Standard VHDL Analog and Mixed-Signal Extensions . IEEE Press . IEEE Std 1076.1-2007. 2007. IEEE Standard VHDL Analog and Mixed-Signal Extensions. IEEE Press."},{"key":"e_1_3_2_1_33_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_1_34_1","unstructured":"INRIA. 2012. The Caml language: Home. http:\/\/caml.inria.fr\/ [Last accessed: June 29 2012].  INRIA. 2012. The Caml language: Home. http:\/\/caml.inria.fr\/ [Last accessed: June 29 2012]."},{"key":"e_1_3_2_1_35_1","doi-asserted-by":"publisher","DOI":"10.5555\/1629670"},{"key":"e_1_3_2_1_36_1","doi-asserted-by":"publisher","DOI":"10.1145\/243439.243447"},{"key":"e_1_3_2_1_37_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-07151-0_6"},{"volume-title":"Differential-Algebraic Equations Analysis and Numerical Solution","author":"Kunkel Peter","key":"e_1_3_2_1_38_1","unstructured":"Peter Kunkel and Volker Mehrmann . 2006. Differential-Algebraic Equations Analysis and Numerical Solution . European Mathematical Society . Peter Kunkel and Volker Mehrmann. 2006. Differential-Algebraic Equations Analysis and Numerical Solution. European Mathematical Society."},{"key":"e_1_3_2_1_39_1","doi-asserted-by":"publisher","DOI":"10.1145\/604174.604179"},{"key":"e_1_3_2_1_40_1","doi-asserted-by":"publisher","DOI":"10.1145\/1016850.1016883"},{"key":"e_1_3_2_1_41_1","doi-asserted-by":"publisher","DOI":"10.1145\/1086365.1086391"},{"key":"e_1_3_2_1_42_1","doi-asserted-by":"publisher","DOI":"10.1145\/1837274.1837462"},{"key":"e_1_3_2_1_43_1","doi-asserted-by":"publisher","DOI":"10.1145\/1140335.1140352"},{"key":"e_1_3_2_1_44_1","doi-asserted-by":"publisher","DOI":"10.1145\/1498926.1498930"},{"key":"e_1_3_2_1_45_1","doi-asserted-by":"publisher","DOI":"10.1137\/0914043"},{"key":"e_1_3_2_1_46_1","volume-title":"Sloane","author":"Mernik Marjan","year":"2005","unstructured":"Marjan Mernik , Jan Heering , and Anthony M . Sloane . 2005 . When and how to develop domain-specific languages. Comput. Surveys 37 (December 2005), 316-344. Issue 4. Marjan Mernik, Jan Heering, and Anthony M. Sloane. 2005. When and how to develop domain-specific languages. Comput. Surveys 37 (December 2005), 316-344. Issue 4."},{"key":"e_1_3_2_1_47_1","doi-asserted-by":"publisher","DOI":"10.1145\/581478.581489"},{"volume-title":"Modelica - A Unified Object-Oriented Language for Systems Modeling - Language Specification Version 3.4","author":"Modelica Association 2017.","key":"e_1_3_2_1_48_1","unstructured":"Modelica Association 2017. Modelica - A Unified Object-Oriented Language for Systems Modeling - Language Specification Version 3.4 . Modelica Association . Available from: http:\/\/www.modelica.org. Modelica Association 2017. Modelica - A Unified Object-Oriented Language for Systems Modeling - Language Specification Version 3.4. Modelica Association. Available from: http:\/\/www.modelica.org."},{"volume-title":"Programs as Data Objects","author":"Nielson Flemming","key":"e_1_3_2_1_49_1","unstructured":"Flemming Nielson and Hanne R Nielson . 1986. Code generation from two-level denotational meta-languages . In Programs as Data Objects . Springer , 192-205. Flemming Nielson and Hanne R Nielson. 1986. Code generation from two-level denotational meta-languages. In Programs as Data Objects. Springer, 192-205."},{"key":"e_1_3_2_1_50_1","first-page":"71","volume-title":"Proceedings of the 2nd International Workshop on Equation-Based Object-Oriented Languages and Tools. LiU Electronic Press","author":"Nilsson Henrik","year":"2008","unstructured":"Henrik Nilsson . 2008 . Type-Based Structural Analysis for Modular Systems of Equations . In Proceedings of the 2nd International Workshop on Equation-Based Object-Oriented Languages and Tools. LiU Electronic Press , Paphos, Cyprus , 71 - 81 . Henrik Nilsson. 2008. Type-Based Structural Analysis for Modular Systems of Equations. In Proceedings of the 2nd International Workshop on Equation-Based Object-Oriented Languages and Tools. LiU Electronic Press, Paphos, Cyprus, 71-81."},{"key":"e_1_3_2_1_51_1","doi-asserted-by":"publisher","DOI":"10.5555\/54431.54432"},{"key":"e_1_3_2_1_52_1","doi-asserted-by":"publisher","DOI":"10.1145\/1159803.1159811"},{"key":"e_1_3_2_1_54_1","doi-asserted-by":"publisher","DOI":"10.1145\/2998392.2998399"},{"volume-title":"A List of Successes That Can Change the World","author":"Rompf Tiark","key":"e_1_3_2_1_55_1","unstructured":"Tiark Rompf . 2016. The Essence of Multi-stage Evaluation in LMS . In A List of Successes That Can Change the World . Springer , 318-335. Tiark Rompf. 2016. The Essence of Multi-stage Evaluation in LMS. In A List of Successes That Can Change the World. Springer, 318-335."},{"key":"e_1_3_2_1_56_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10990-013-9096-9"},{"key":"e_1_3_2_1_57_1","doi-asserted-by":"publisher","DOI":"10.1145\/1868294.1868314"},{"key":"e_1_3_2_1_58_1","first-page":"1","volume-title":"Template Meta-programming for Haskell. In Haskell '02: Proceedings of the 2002 ACM SIGPLAN workshop on Haskell. ACM Press","author":"Sheard Tim","year":"2002","unstructured":"Tim Sheard and Simon Peyton Jones . 2002 . Template Meta-programming for Haskell. In Haskell '02: Proceedings of the 2002 ACM SIGPLAN workshop on Haskell. ACM Press , New York, USA , 1 - 16 . Tim Sheard and Simon Peyton Jones. 2002. Template Meta-programming for Haskell. In Haskell '02: Proceedings of the 2002 ACM SIGPLAN workshop on Haskell. ACM Press, New York, USA, 1-16."},{"key":"e_1_3_2_1_59_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.entcs.2007.11.012"},{"key":"e_1_3_2_1_60_1","volume-title":"In: Scheme and Functional Programming Workshop.","author":"Siek Jeremy","year":"2006","unstructured":"Jeremy Siek and Walid Taha . 2006 . Gradual typing for functional languages . In In: Scheme and Functional Programming Workshop. Jeremy Siek and Walid Taha. 2006. Gradual typing for functional languages. In In: Scheme and Functional Programming Workshop."},{"key":"e_1_3_2_1_61_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-73589-2_2"},{"key":"e_1_3_2_1_62_1","volume-title":"Exploring the Design Space of Higher-Order Casts. In European Symposium on Programming.","author":"Siek Jeremy G.","year":"2009","unstructured":"Jeremy G. Siek , Ronald Garcia , and Walid Taha . 2009 . Exploring the Design Space of Higher-Order Casts. In European Symposium on Programming. Jeremy G. Siek, Ronald Garcia, and Walid Taha. 2009. Exploring the Design Space of Higher-Order Casts. In European Symposium on Programming."},{"key":"e_1_3_2_1_63_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_1_64_1","first-page":"34","volume-title":"Proceedings for the 1st workshop on Script to Program Evolution (STOP '09)","author":"Jeremy","unstructured":"Jeremy G. Siek and PhilipWadler. 2009. Threesomes, with and without blame . In Proceedings for the 1st workshop on Script to Program Evolution (STOP '09) . ACM, New York, NY, USA , 34 - 46 . Jeremy G. Siek and PhilipWadler. 2009. Threesomes, with and without blame. In Proceedings for the 1st workshop on Script to Program Evolution (STOP '09). ACM, New York, NY, USA, 34-46."},{"key":"e_1_3_2_1_65_1","volume-title":"The Language","author":"Steele Guy L.","unstructured":"Guy L. Steele . 1990. Common LISP. The Language ( 2 nd ed.). Digital Press . Guy L. Steele. 1990. Common LISP. The Language (2nd ed.). Digital Press.","edition":"2"},{"key":"e_1_3_2_1_66_1","doi-asserted-by":"publisher","DOI":"10.1023\/A:1010085415024"},{"key":"e_1_3_2_1_67_1","doi-asserted-by":"publisher","DOI":"10.1145\/800068.802140"},{"key":"e_1_3_2_1_68_1","doi-asserted-by":"publisher","DOI":"10.1145\/2584665"},{"key":"e_1_3_2_1_69_1","volume-title":"International Symposium on Trends in Functional Programming. Springer, 21-36","author":"Svenningsson Josef","year":"2012","unstructured":"Josef Svenningsson and Emil Axelsson . 2012 . Combining deep and shallow embedding for EDSL . In International Symposium on Trends in Functional Programming. Springer, 21-36 . Josef Svenningsson and Emil Axelsson. 2012. Combining deep and shallow embedding for EDSL. In International Symposium on Trends in Functional Programming. Springer, 21-36."},{"key":"e_1_3_2_1_70_1","doi-asserted-by":"publisher","DOI":"10.1016\/S0304-3975(00)00053-0"},{"key":"e_1_3_2_1_71_1","first-page":"964","article-title":"Interlanguage migration: from scripts to programs. In Companion to the 21st ACM SIGPLAN symposium on Object-oriented programming systems, languages, and applications (OOPSLA '06). ACM, New York","author":"Tobin-Hochstadt Sam","year":"2006","unstructured":"Sam Tobin-Hochstadt and Matthias Felleisen . 2006 . Interlanguage migration: from scripts to programs. In Companion to the 21st ACM SIGPLAN symposium on Object-oriented programming systems, languages, and applications (OOPSLA '06). ACM, New York , NY, USA , 964 - 974 . Sam Tobin-Hochstadt and Matthias Felleisen. 2006. Interlanguage migration: from scripts to programs. In Companion to the 21st ACM SIGPLAN symposium on Object-oriented programming systems, languages, and applications (OOPSLA '06). ACM, New York, NY, USA, 964-974.","journal-title":"NY, USA"},{"key":"e_1_3_2_1_72_1","doi-asserted-by":"publisher","DOI":"10.1145\/1328438.1328486"},{"key":"e_1_3_2_1_73_1","doi-asserted-by":"publisher","DOI":"10.1145\/1993498.1993514"},{"key":"e_1_3_2_1_74_1","doi-asserted-by":"publisher","DOI":"10.1145\/1391956.1391958"},{"key":"e_1_3_2_1_76_1","doi-asserted-by":"publisher","DOI":"10.1017\/S0960129500001560"},{"key":"e_1_3_2_1_77_1","doi-asserted-by":"publisher","DOI":"10.1145\/75277.75283"},{"key":"e_1_3_2_1_78_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-00590-9_1"},{"key":"e_1_3_2_1_79_1","doi-asserted-by":"publisher","DOI":"10.1145\/349299.349331"},{"key":"e_1_3_2_1_80_1","doi-asserted-by":"publisher","DOI":"10.1145\/1706299.1706343"},{"key":"e_1_3_2_1_81_1","doi-asserted-by":"publisher","DOI":"10.1145\/604131.604150"}],"event":{"name":"POPL '18: The 45th Annual ACM SIGPLAN Symposium on Principles of Programming Languages","sponsor":["SIGPLAN ACM Special Interest Group on Programming Languages","SIGLOG ACM Special Interest Group on Logic and Computation","SIGACT ACM Special Interest Group on Algorithms and Computation Theory"],"location":"Los Angeles CA USA","acronym":"POPL '18"},"container-title":["Proceedings of the ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3162068","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3162068","content-type":"application\/pdf","content-version":"vor","intended-application":"syndication"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3162068","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T02:26:54Z","timestamp":1750213614000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3162068"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017,12,25]]},"references-count":77,"alternative-id":["10.1145\/3162068","10.1145\/3175493"],"URL":"https:\/\/doi.org\/10.1145\/3162068","relation":{},"subject":[],"published":{"date-parts":[[2017,12,25]]},"assertion":[{"value":"2017-12-25","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}