{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,7,16]],"date-time":"2026-07-16T05:48:11Z","timestamp":1784180891047,"version":"3.55.0"},"publisher-location":"New York, NY, USA","reference-count":30,"publisher":"ACM","license":[{"start":{"date-parts":[[2014,8,19]],"date-time":"2014-08-19T00:00:00Z","timestamp":1408406400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"funder":[{"DOI":"10.13039\/501100000266","name":"Engineering and Physical Sciences Research Council","doi-asserted-by":"publisher","award":["EP\/J010995\/1"],"award-info":[{"award-number":["EP\/J010995\/1"]}],"id":[{"id":"10.13039\/501100000266","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2014,8,19]]},"DOI":"10.1145\/2628136.2628138","type":"proceedings-article","created":{"date-parts":[[2014,8,21]],"date-time":"2014-08-21T08:19:23Z","timestamp":1408609163000},"page":"339-347","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":52,"title":["Folding domain-specific languages"],"prefix":"10.1145","author":[{"given":"Jeremy","family":"Gibbons","sequence":"first","affiliation":[{"name":"University of Oxford, Oxford, United Kingdom"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Nicolas","family":"Wu","sequence":"additional","affiliation":[{"name":"University of Oxford, Oxford, United Kingdom"}],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"320","published-online":{"date-parts":[[2014,8,19]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.1145\/1596638.1596644"},{"key":"e_1_3_2_1_2_1","volume-title":"TechMesh","author":"Augustsson Lennart","year":"2012"},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1145\/1780.1781"},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1016\/0304-3975(85)90135-5"},{"key":"e_1_3_2_1_5_1","unstructured":"Richard Boulton. Personal communication 10th February 2014.  Richard Boulton. Personal communication 10th February 2014."},{"key":"e_1_3_2_1_6_1","unstructured":"Richard Boulton Andrew Gordon Mike Gordon John Harrison John Herbert and John Van Tassel. Experience with embedding hardware description languages in HOL. In Victoria Stavridou Thomas F. Melham and Raymond T. Boute editors IFIP TC10\/WG 10.2 International Conference on Theorem Provers in Circuit Design: Theory Practice and Experience pages 129--156. North-Holland\/Elsevier 1992.   Richard Boulton Andrew Gordon Mike Gordon John Harrison John Herbert and John Van Tassel. Experience with embedding hardware description languages in HOL. In Victoria Stavridou Thomas F. Melham and Raymond T. Boute editors IFIP TC10\/WG 10.2 International Conference on Theorem Provers in Circuit Design: Theory Practice and Experience pages 129--156. North-Holland\/Elsevier 1992."},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1145\/800141.804666"},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1017\/S0956796809007205"},{"issue":"4","key":"e_1_3_2_1_9_1","first-page":"81","article-title":"Tupling and mutumorphisms","volume":"1","author":"Fokkinga Maarten M.","year":"1990","journal-title":"The Squiggolist"},{"key":"e_1_3_2_1_10_1","unstructured":"Martin Fowler. Domain-Specific Languages. Addison-Wesley 2011.   Martin Fowler. Domain-Specific Languages. Addison-Wesley 2011."},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"crossref","unstructured":"Jeremy\n       \n      Gibbons\n    .\n      \n  \n   \n  Functional programming for domain-specific languages. In Vikt\u00f3ria Zs\u00f3k editor Central European Functional Programming Summer School volume \n  8606\n   of \n  Lecture Notes in Computer Science pages \n  1\n  --\n  27\n  . \n  Springer 2014\n  . To appear.  Jeremy Gibbons. Functional programming for domain-specific languages. In Vikt\u00f3ria Zs\u00f3k editor Central European Functional Programming Summer School volume 8606 of Lecture Notes in Computer Science pages 1--27. Springer 2014. To appear.","DOI":"10.1007\/978-3-319-15940-9_1"},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1145\/289423.289455"},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-27764-4_11"},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1017\/S0956796804005313"},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.scico.2012.07.011"},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1145\/2500365.2500578"},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1145\/256167.256201"},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1145\/242224.242477"},{"key":"e_1_3_2_1_19_1","volume-title":"Prentice Hall","author":"Kaldewaij Anne","year":"1990"},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-32202-0_3"},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.1145\/2503778.2503791"},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.5555\/646155.679709"},{"key":"e_1_3_2_1_23_1","unstructured":"Ehud Lamm. CUFP write-up. Blog post http:\/\/lambda-the-ultimate.org\/node\/2572 December 2007.  Ehud Lamm. CUFP write-up. Blog post http:\/\/lambda-the-ultimate.org\/node\/2572 December 2007."},{"key":"e_1_3_2_1_24_1","volume-title":"Workshop on Generic Programming","volume":"19","author":"L\u00e4mmel Ralf","year":"2000"},{"key":"e_1_3_2_1_25_1","first-page":"157","volume-title":"New Directions in Algorithmic Languages","author":"Reynolds John","year":"1975"},{"key":"e_1_3_2_1_26_1","series-title":"Lecture Notes in Computer Science","first-page":"21","volume-title":"Trends in Functional Programming","author":"Svenningsson Josef","year":"2012"},{"key":"e_1_3_2_1_27_1","doi-asserted-by":"publisher","DOI":"10.1017\/S0956796808006758"},{"key":"e_1_3_2_1_28_1","doi-asserted-by":"publisher","DOI":"10.1145\/99370.99404"},{"key":"e_1_3_2_1_29_1","unstructured":"Philip Wadler. The expression problem. Java Genericity Mailing list November 1998. http:\/\/homepages.inf.ed.ac.uk\/wadler\/papers\/expression\/expression.txt.  Philip Wadler. The expression problem. Java Genericity Mailing list November 1998. http:\/\/homepages.inf.ed.ac.uk\/wadler\/papers\/expression\/expression.txt."},{"key":"e_1_3_2_1_30_1","doi-asserted-by":"publisher","DOI":"10.1145\/75277.75283"}],"event":{"name":"ICFP'14: ACM SIGPLAN International Conference on Functional Programming","location":"Gothenburg Sweden","acronym":"ICFP'14","sponsor":["SIGPLAN ACM Special Interest Group on Programming Languages"]},"container-title":["Proceedings of the 19th ACM SIGPLAN international conference on Functional programming"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2628136.2628138","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/2628136.2628138","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T03:19:38Z","timestamp":1750216778000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2628136.2628138"}},"subtitle":["deep and shallow embeddings (functional Pearl)"],"short-title":[],"issued":{"date-parts":[[2014,8,19]]},"references-count":30,"alternative-id":["10.1145\/2628136.2628138","10.1145\/2628136"],"URL":"https:\/\/doi.org\/10.1145\/2628136.2628138","relation":{"is-identical-to":[{"id-type":"doi","id":"10.1145\/2692915.2628138","asserted-by":"object"}]},"subject":[],"published":{"date-parts":[[2014,8,19]]},"assertion":[{"value":"2014-08-19","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}