{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T04:25:03Z","timestamp":1750220703853,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":30,"publisher":"ACM","license":[{"start":{"date-parts":[[2019,10,21]],"date-time":"2019-10-21T00:00:00Z","timestamp":1571616000000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2019,10,21]]},"DOI":"10.1145\/3357765.3359522","type":"proceedings-article","created":{"date-parts":[[2019,10,10]],"date-time":"2019-10-10T18:52:21Z","timestamp":1570733541000},"page":"61-67","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":0,"title":["Polymorphic extractors for semantic and portable pattern matching (short paper)"],"prefix":"10.1145","author":[{"given":"Amir","family":"Shaikhha","sequence":"first","affiliation":[{"name":"University of Oxford, UK"}]}],"member":"320","published-online":{"date-parts":[[2019,10,21]]},"reference":[{"key":"e_1_3_2_1_1_1","volume-title":"Compiling with continuations","author":"Appel Andrew W","year":"2006","unstructured":"Andrew W Appel . Compiling with continuations . Cambridge University Press , 2006 . Andrew W Appel. Compiling with continuations. Cambridge University Press, 2006."},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1017\/S0956796809007205"},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.5555\/647021.711473"},{"key":"e_1_3_2_1_4_1","first-page":"101","volume-title":"Dolan. Fun with Semirings: A Functional Pearl on the Abuse of Linear Algebra. In Proceedings of the 18th ACM SIGPLAN International Conference on Functional Programming, ICFP '13","author":"Stephen","year":"2013","unstructured":"Stephen Dolan. Fun with Semirings: A Functional Pearl on the Abuse of Linear Algebra. In Proceedings of the 18th ACM SIGPLAN International Conference on Functional Programming, ICFP '13 , pages 101 - 110 , New York, NY, USA , 2013 . ACM. Stephen Dolan. Fun with Semirings: A Functional Pearl on the Abuse of Linear Algebra. In Proceedings of the 18th ACM SIGPLAN International Conference on Functional Programming, ICFP '13, pages 101-110, New York, NY, USA, 2013. ACM."},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.5555\/2394758.2394779"},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1145\/155090.155113"},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1145\/1449913.1449935"},{"key":"e_1_3_2_1_8_1","volume-title":"December","author":"Hudak Paul","year":"1996","unstructured":"Paul Hudak . Building domain-specific embedded languages. ACM Comput. Surv., 28(4es) , December 1996 . Paul Hudak. Building domain-specific embedded languages. ACM Comput. Surv., 28(4es), December 1996."},{"volume-title":"2001 Haskell Workshop. ACM SIGPLAN.","author":"Peyton Jones Simon L.","key":"e_1_3_2_1_9_1","unstructured":"Simon L. Peyton Jones , Andrew Tolmach , and Tony Hoare . Playing by the rules: rewriting as a practical optimisation technique in GHC . In 2001 Haskell Workshop. ACM SIGPLAN. Simon L. Peyton Jones, Andrew Tolmach, and Tony Hoare. Playing by the rules: rewriting as a practical optimisation technique in GHC. In 2001 Haskell Workshop. ACM SIGPLAN."},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1145\/2658761.2658771"},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1016\/0304-3975(84)90087-2"},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-32202-0_3"},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1561\/2500000038"},{"key":"e_1_3_2_1_14_1","first-page":"285","volume-title":"Completeness. In Proceedings of the 44th ACM SIGPLAN Symposium on Principles of Programming Languages, POPL 2017","author":"Kiselyov Oleg","year":"2017","unstructured":"Oleg Kiselyov , Aggelos Biboudis , Nick Palladinos , and Yannis Smaragdakis . Stream Fusion , to Completeness. In Proceedings of the 44th ACM SIGPLAN Symposium on Principles of Programming Languages, POPL 2017 , pages 285 - 299 , New York, NY, USA , 2017 . ACM. Oleg Kiselyov, Aggelos Biboudis, Nick Palladinos, and Yannis Smaragdakis. Stream Fusion, to Completeness. In Proceedings of the 44th ACM SIGPLAN Symposium on Principles of Programming Languages, POPL 2017, pages 285-299, New York, NY, USA, 2017. ACM."},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-31057-7_2"},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1145\/3136040.3136043"},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1145\/3158101"},{"key":"e_1_3_2_1_18_1","first-page":"80","volume-title":"ACM SIGPLAN Notices","author":"Pickering Matthew","year":"2016","unstructured":"Matthew Pickering , Gergo \u00c9rdi , Simon Peyton Jones, and Richard A Eisenberg. Pattern synonyms . In ACM SIGPLAN Notices , volume 51 , pages 80 - 91 . ACM , 2016 . Matthew Pickering, Gergo \u00c9rdi, Simon Peyton Jones, and Richard A Eisenberg. Pattern synonyms. In ACM SIGPLAN Notices, volume 51, pages 80-91. ACM, 2016."},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1109\/JPROC.2004.840306"},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1145\/128749.128752"},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.1145\/1868294.1868314"},{"key":"e_1_3_2_1_22_1","first-page":"12","volume-title":"Global Value Numbers and Redundant Computations. POPL '88","author":"Rosen B. K.","year":"1988","unstructured":"B. K. Rosen , M. N. Wegman , and F. K. Zadeck . Global Value Numbers and Redundant Computations. POPL '88 , pages 12 - 27 . ACM, 1988 . B. K. Rosen, M. N. Wegman, and F. K. Zadeck. Global Value Numbers and Redundant Computations. POPL '88, pages 12-27. ACM, 1988."},{"key":"e_1_3_2_1_23_1","doi-asserted-by":"publisher","DOI":"10.1145\/3341701"},{"key":"e_1_3_2_1_24_1","volume-title":"Polymorphic Linear Algebra Language. In Proceedings of the 33rd European Conference on Object-Oriented Programming, ECOOP'19","author":"Shaikhha Amir","year":"2019","unstructured":"Amir Shaikhha and Lionel Parreaux . Finally, a Polymorphic Linear Algebra Language. In Proceedings of the 33rd European Conference on Object-Oriented Programming, ECOOP'19 , 2019 . Amir Shaikhha and Lionel Parreaux. Finally, a Polymorphic Linear Algebra Language. In Proceedings of the 33rd European Conference on Object-Oriented Programming, ECOOP'19, 2019."},{"key":"e_1_3_2_1_25_1","doi-asserted-by":"publisher","DOI":"10.1145\/2784731.2784754"},{"key":"e_1_3_2_1_26_1","first-page":"21","volume-title":"International Symposium on Trends in Functional Programming","author":"Svenningsson Josef","year":"2012","unstructured":"Josef Svenningsson and Emil Axelsson . Combining deep and shallow embedding for edsl . In International Symposium on Trends in Functional Programming , pages 21 - 36 . Springer , 2012 . Josef Svenningsson and Emil Axelsson. Combining deep and shallow embedding for edsl. In International Symposium on Trends in Functional Programming, pages 21-36. Springer, 2012."},{"key":"e_1_3_2_1_27_1","doi-asserted-by":"publisher","DOI":"10.1145\/1291151.1291159"},{"key":"e_1_3_2_1_28_1","doi-asserted-by":"publisher","DOI":"10.1016\/S0304-3975(00)00053-0"},{"key":"e_1_3_2_1_29_1","first-page":"13","volume-title":"Andrew Tolmach. Building Program Optimizers with Rewriting Strategies. In Proceedings of the Third ACM SIGPLAN International Conference on Functional Programming, ICFP'98","author":"Visser Eelco","year":"1998","unstructured":"Eelco Visser , Zine-el- Abidine Benaissa , and Andrew Tolmach. Building Program Optimizers with Rewriting Strategies. In Proceedings of the Third ACM SIGPLAN International Conference on Functional Programming, ICFP'98 , pages 13 - 26 , 1998 . Eelco Visser, Zine-el-Abidine Benaissa, and Andrew Tolmach. Building Program Optimizers with Rewriting Strategies. In Proceedings of the Third ACM SIGPLAN International Conference on Functional Programming, ICFP'98, pages 13-26, 1998."},{"key":"e_1_3_2_1_30_1","doi-asserted-by":"publisher","DOI":"10.1145\/41625.41653"}],"event":{"name":"GPCE '19: 18th ACM SIGPLAN International Conference on Generative Programming: Concepts and Experiences","sponsor":["SIGPLAN ACM Special Interest Group on Programming Languages"],"location":"Athens Greece","acronym":"GPCE '19"},"container-title":["Proceedings of the 18th ACM SIGPLAN International Conference on Generative Programming: Concepts and Experiences"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3357765.3359522","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3357765.3359522","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,17]],"date-time":"2025-06-17T22:32:57Z","timestamp":1750199577000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3357765.3359522"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2019,10,21]]},"references-count":30,"alternative-id":["10.1145\/3357765.3359522","10.1145\/3357765"],"URL":"https:\/\/doi.org\/10.1145\/3357765.3359522","relation":{},"subject":[],"published":{"date-parts":[[2019,10,21]]},"assertion":[{"value":"2019-10-21","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}