{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,6,9]],"date-time":"2026-06-09T08:43:31Z","timestamp":1780994611836,"version":"3.54.1"},"publisher-location":"New York, NY, USA","reference-count":45,"publisher":"ACM","license":[{"start":{"date-parts":[[2009,9,3]],"date-time":"2009-09-03T00:00:00Z","timestamp":1251936000000},"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":[[2009,9,3]]},"DOI":"10.1145\/1596638.1596644","type":"proceedings-article","created":{"date-parts":[[2009,9,8]],"date-time":"2009-09-08T12:53:09Z","timestamp":1252414389000},"page":"37-48","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":47,"title":["Unembedding domain-specific languages"],"prefix":"10.1145","author":[{"given":"Robert","family":"Atkey","sequence":"first","affiliation":[{"name":"University of Edinburgh, Edinburgh, Scotland Uk"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Sam","family":"Lindley","sequence":"additional","affiliation":[{"name":"University of Edinburgh, Edinburgh, Scotland Uk"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Jeremy","family":"Yallop","sequence":"additional","affiliation":[{"name":"University of Edinburgh, Edinburgh, Scotland Uk"}],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"320","published-online":{"date-parts":[[2009,9,3]]},"reference":[{"key":"e_1_3_2_2_1_1","doi-asserted-by":"publisher","DOI":"10.1145\/158511.158622"},{"key":"e_1_3_2_2_2_1","doi-asserted-by":"publisher","DOI":"10.1017\/S0956796897002839"},{"key":"e_1_3_2_2_3_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-02273-9_5"},{"key":"e_1_3_2_2_4_1","doi-asserted-by":"publisher","DOI":"10.1017\/S095679680900728X"},{"key":"e_1_3_2_2_5_1","doi-asserted-by":"publisher","DOI":"10.1145\/1411204.1411236"},{"key":"e_1_3_2_2_6_1","doi-asserted-by":"publisher","DOI":"10.1145\/581478.581494"},{"key":"e_1_3_2_2_7_1","doi-asserted-by":"publisher","DOI":"10.1007\/11431664_9"},{"key":"e_1_3_2_2_8_1","doi-asserted-by":"publisher","DOI":"10.5555\/645742.667079"},{"key":"e_1_3_2_2_9_1","doi-asserted-by":"publisher","DOI":"10.1017\/S0956796809007205"},{"key":"e_1_3_2_2_10_1","doi-asserted-by":"publisher","DOI":"10.1145\/581690.581698"},{"key":"e_1_3_2_2_11_1","doi-asserted-by":"publisher","DOI":"10.2307\/2266170"},{"key":"e_1_3_2_2_12_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-03793-1_3"},{"key":"e_1_3_2_2_13_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-89330-1_15"},{"key":"e_1_3_2_2_14_1","doi-asserted-by":"publisher","DOI":"10.5555\/646659.700704"},{"key":"e_1_3_2_2_15_1","doi-asserted-by":"publisher","DOI":"10.1016\/1385-7258(72)90034-0"},{"key":"e_1_3_2_2_16_1","doi-asserted-by":"publisher","DOI":"10.1017\/S0956796802004574"},{"key":"e_1_3_2_2_17_1","doi-asserted-by":"publisher","DOI":"10.1145\/237721.237792"},{"key":"e_1_3_2_2_18_1","volume-title":"Proc. of 7th Symp. on Trends in Functional Programming, TFP 2006 (Nottingham","author":"Ghani N.","year":"2006","unstructured":"N. Ghani , M. Hamana , T. Uustalu , and V. Vene . Representing cyclic structures as nested datatypes. In H. Nilsson, editor , Proc. of 7th Symp. on Trends in Functional Programming, TFP 2006 (Nottingham , Apr. 2006 ), 2006. N. Ghani, M. Hamana, T. Uustalu, and V. Vene. Representing cyclic structures as nested datatypes. In H. Nilsson, editor, Proc. of 7th Symp. on Trends in Functional Programming, TFP 2006 (Nottingham, Apr. 2006), 2006."},{"key":"e_1_3_2_2_19_1","doi-asserted-by":"publisher","DOI":"10.1145\/1559845.1559982"},{"key":"e_1_3_2_2_20_1","doi-asserted-by":"publisher","DOI":"10.1145\/1291201.1291212"},{"key":"e_1_3_2_2_21_1","doi-asserted-by":"publisher","DOI":"10.1145\/1411204.1411218"},{"key":"e_1_3_2_2_22_1","doi-asserted-by":"publisher","DOI":"10.1145\/1449913.1449935"},{"key":"e_1_3_2_2_23_1","doi-asserted-by":"publisher","DOI":"10.1145\/1291151.1291179"},{"key":"e_1_3_2_2_24_1","volume-title":"Functional metapost for latex","author":"Kuhlmann Marco","year":"2001","unstructured":"Marco Kuhlmann . Functional metapost for latex , 2001 . Marco Kuhlmann. Functional metapost for latex, 2001."},{"key":"e_1_3_2_2_26_1","doi-asserted-by":"publisher","DOI":"10.1145\/331960.331977"},{"key":"e_1_3_2_2_27_1","doi-asserted-by":"publisher","DOI":"10.1109\/LICS.2008.48"},{"key":"e_1_3_2_2_28_1","doi-asserted-by":"publisher","DOI":"10.1145\/1411304.1411313"},{"key":"e_1_3_2_2_29_1","volume-title":"LogiCal Project","author":"The","year":"2009","unstructured":"The Coq development team. The Coq proof assistant reference manual . LogiCal Project , 2009 . URL http:\/\/coq.inria.fr. Version 8.2. The Coq development team. The Coq proof assistant reference manual. LogiCal Project, 2009. URL http:\/\/coq.inria.fr. Version 8.2."},{"key":"e_1_3_2_2_30_1","doi-asserted-by":"publisher","DOI":"10.1017\/S0956796807006326"},{"key":"e_1_3_2_2_31_1","doi-asserted-by":"publisher","DOI":"10.1145\/224164.224225"},{"key":"e_1_3_2_2_32_1","first-page":"199","volume-title":"Trends in Functional Programming","author":"Oliveira Bruno","year":"2006","unstructured":"Bruno Oliveira , Ralf Hinze , and Andres L\u00f6h . Extensible and modular generics for the masses . In Trends in Functional Programming , pages 199 -- 216 , 2006 . Bruno Oliveira, Ralf Hinze, and Andres L\u00f6h. Extensible and modular generics for the masses. In Trends in Functional Programming, pages 199--216, 2006."},{"key":"e_1_3_2_2_33_1","doi-asserted-by":"publisher","DOI":"10.1145\/351240.351267"},{"key":"e_1_3_2_2_34_1","doi-asserted-by":"publisher","DOI":"10.1145\/53990.54010"},{"key":"e_1_3_2_2_35_1","doi-asserted-by":"publisher","DOI":"10.1016\/0304-3975(90)90109-U"},{"key":"e_1_3_2_2_36_1","doi-asserted-by":"publisher","DOI":"10.1145\/1328438.1328483"},{"key":"e_1_3_2_2_37_1","volume-title":"phTypes and Programming Languages","author":"Pierce Benjamin C.","year":"2002","unstructured":"Benjamin C. Pierce . phTypes and Programming Languages . MIT Press , 2002 . Benjamin C. Pierce. phTypes and Programming Languages. MIT Press, 2002."},{"key":"e_1_3_2_2_38_1","unstructured":"Gordon\n     D.\n  Plotkin and Mart'\u0131n Abadi. A logic for parametric polymorphism\n  . In Marc Bezem and Jan Friso Groote editors TLCA volume \n  664\n   of \n  phLecture Notes in Computer Science pages \n  361\n  --\n  375\n  . \n  Springer 1993\n  . ISBN 3-540-56517-5.   Gordon D. Plotkin and Mart'\u0131n Abadi. A logic for parametric polymorphism. In Marc Bezem and Jan Friso Groote editors TLCA volume 664 of phLecture Notes in Computer Science pages 361--375. Springer 1993. ISBN 3-540-56517-5."},{"key":"e_1_3_2_2_39_1","doi-asserted-by":"publisher","DOI":"10.5555\/647323.721503"},{"key":"e_1_3_2_2_40_1","doi-asserted-by":"publisher","DOI":"10.1145\/641909.641910"},{"key":"e_1_3_2_2_41_1","volume-title":"GADTs extensible kind system = dependent programming. Technical report","author":"Sheard Tim","year":"2005","unstructured":"Tim Sheard , James Hook , and Nathan Linger . GADTs extensible kind system = dependent programming. Technical report , Portland State University , 2005 . Tim Sheard, James Hook, and Nathan Linger. GADTs extensible kind system = dependent programming. Technical report, Portland State University, 2005."},{"key":"e_1_3_2_2_42_1","doi-asserted-by":"publisher","DOI":"10.5555\/645500.655920"},{"key":"e_1_3_2_2_43_1","unstructured":"The Agda2 development team. The agda2 website. http:\/\/wiki.portal.chalmers.se\/agda\/ 2009.  The Agda2 development team. The agda2 website. http:\/\/wiki.portal.chalmers.se\/agda\/ 2009."},{"key":"e_1_3_2_2_44_1","doi-asserted-by":"publisher","DOI":"10.5555\/645772.667946"},{"key":"e_1_3_2_2_45_1","doi-asserted-by":"publisher","DOI":"10.1017\/S0956796807006557"},{"key":"e_1_3_2_2_46_1","doi-asserted-by":"publisher","DOI":"10.1017\/S0956796804005179"}],"event":{"name":"ICFP '09: ACM SIGPLAN International Conference on Functional Programming","location":"Edinburgh Scotland","acronym":"ICFP '09","sponsor":["SIGPLAN ACM Special Interest Group on Programming Languages","ACM Association for Computing Machinery"]},"container-title":["Proceedings of the 2nd ACM SIGPLAN symposium on Haskell"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1596638.1596644","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/1596638.1596644","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T12:23:28Z","timestamp":1750249408000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1596638.1596644"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2009,9,3]]},"references-count":45,"alternative-id":["10.1145\/1596638.1596644","10.1145\/1596638"],"URL":"https:\/\/doi.org\/10.1145\/1596638.1596644","relation":{},"subject":[],"published":{"date-parts":[[2009,9,3]]},"assertion":[{"value":"2009-09-03","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}