{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,12,13]],"date-time":"2025-12-13T09:22:17Z","timestamp":1765617737398,"version":"3.48.0"},"publisher-location":"New York, NY, USA","reference-count":38,"publisher":"ACM","content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2025,9,10]]},"DOI":"10.1145\/3756907.3756923","type":"proceedings-article","created":{"date-parts":[[2025,12,13]],"date-time":"2025-12-13T09:19:11Z","timestamp":1765617551000},"page":"1-13","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":0,"title":["Shallowly Embedded Functions"],"prefix":"10.1145","author":[{"ORCID":"https:\/\/orcid.org\/0009-0004-9943-7997","authenticated-orcid":false,"given":"Benedikt M.","family":"Rips","sequence":"first","affiliation":[{"name":"Radboud University, Nijmegen, Netherlands"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0009-0003-7348-7788","authenticated-orcid":false,"given":"Niek","family":"Janssen","sequence":"additional","affiliation":[{"name":"Radboud University, Nijmegen, Netherlands"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-4015-4878","authenticated-orcid":false,"given":"Mart","family":"Lubbers","sequence":"additional","affiliation":[{"name":"Radboud University, Nijmegen, Netherlands"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-3688-0957","authenticated-orcid":false,"given":"Pieter","family":"Koopman","sequence":"additional","affiliation":[{"name":"Radboud University, Nijmegen, Netherlands"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2025,12,13]]},"reference":[{"key":"e_1_3_3_3_2_2","doi-asserted-by":"publisher","DOI":"10.1145\/1596638.1596644"},{"key":"e_1_3_3_3_3_2","doi-asserted-by":"publisher","DOI":"10.5555\/119830.119839"},{"key":"e_1_3_3_3_4_2","series-title":"Studies in Logic","volume-title":"The Lambda Calculus Its Syntax and Semantics","author":"Barendregt Henk\u00a0P.","year":"2012","unstructured":"Henk\u00a0P. Barendregt. 2012. The Lambda Calculus Its Syntax and Semantics. Number\u00a040 in Studies in Logic. College Publ, London."},{"key":"e_1_3_3_3_5_2","doi-asserted-by":"publisher","DOI":"10.1145\/3122955.3122967"},{"key":"e_1_3_3_3_6_2","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-18317-5_20"},{"key":"e_1_3_3_3_7_2","doi-asserted-by":"publisher","unstructured":"Jacques Carette Oleg Kiselyov and Chung-chieh Shan. 2009. Finally Tagless Partially Evaluated: Tagless Staged Interpreters for Simpler Typed Languages. J. Funct. Program. 19 5 (sep 2009) 509\u2013543. 10.1017\/S0956796809007205","DOI":"10.1017\/S0956796809007205"},{"key":"e_1_3_3_3_8_2","doi-asserted-by":"publisher","DOI":"10.1145\/1411204.1411226"},{"key":"e_1_3_3_3_9_2","doi-asserted-by":"publisher","DOI":"10.1145\/237721.237792"},{"key":"e_1_3_3_3_10_2","doi-asserted-by":"crossref","first-page":"167","DOI":"10.1007\/978-3-540-77442-6_12","volume-title":"Practical Aspects of Declarative Languages","author":"Frost Richard\u00a0A.","year":"2008","unstructured":"Richard\u00a0A. Frost, Rahmatullah Hafiz, and Paul Callaghan. 2008. Parser Combinators for Ambiguous Left-Recursive Grammars. In Practical Aspects of Declarative Languages, Paul Hudak and David\u00a0S. Warren (Eds.). Springer Berlin Heidelberg, Berlin, Heidelberg, 167\u2013181."},{"key":"e_1_3_3_3_11_2","doi-asserted-by":"publisher","DOI":"10.1145\/2628136.2628138"},{"key":"e_1_3_3_3_12_2","doi-asserted-by":"publisher","DOI":"10.1145\/1596638.1596653"},{"key":"e_1_3_3_3_13_2","doi-asserted-by":"publisher","DOI":"10.1109\/ICSR.1998.685738"},{"key":"e_1_3_3_3_14_2","doi-asserted-by":"publisher","unstructured":"G\u00e9rard\u00a0P. Huet and Bernard Lang. 1978. Proving and Applying Program Transformations Expressed with Second-Order Patterns. Acta Informatica 11 (1978) 31\u201355. 10.1007\/BF00264598","DOI":"10.1007\/BF00264598"},{"key":"e_1_3_3_3_15_2","doi-asserted-by":"publisher","DOI":"10.1145\/502874.502880"},{"key":"e_1_3_3_3_16_2","doi-asserted-by":"publisher","unstructured":"Will Jones Tony Field and Tristan Allwood. 2012. Deconstraining DSLs. ACM SIGPLAN Notices 47 9 (Oct. 2012) 299\u2013310. 10.1145\/2398856.2364571","DOI":"10.1145\/2398856.2364571"},{"key":"e_1_3_3_3_17_2","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-32202-03"},{"key":"e_1_3_3_3_18_2","doi-asserted-by":"publisher","unstructured":"Oleg Kiselyov. 2024. Generating C: Heterogeneous metaprogramming system description. Science of Computer Programming 231 (2024) 103015. 10.1016\/j.scico.2023.103015","DOI":"10.1016\/j.scico.2023.103015"},{"key":"e_1_3_3_3_19_2","doi-asserted-by":"publisher","DOI":"10.1145\/3610612.3610623"},{"key":"e_1_3_3_3_20_2","doi-asserted-by":"publisher","DOI":"10.5555\/934293"},{"key":"e_1_3_3_3_21_2","doi-asserted-by":"publisher","unstructured":"Peter\u00a0J. Landin. 1966. The next 700 programming languages. Commun. ACM 9 3 (March 1966) 157\u2013166. 10.1145\/365230.365257","DOI":"10.1145\/365230.365257"},{"key":"e_1_3_3_3_22_2","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-031-21314-43"},{"key":"e_1_3_3_3_23_2","unstructured":"Mart Lubbers and Peter Achten. 2024. Clean for Haskell Programmers. arxiv:https:\/\/arXiv.org\/abs\/2411.00037\u00a0[cs.PL] https:\/\/arxiv.org\/abs\/2411.00037"},{"key":"e_1_3_3_3_24_2","doi-asserted-by":"publisher","unstructured":"Mart Lubbers Pieter Koopman and Niek Janssen. 2023. Source code for the paper Shallowly Embedded Functions. 10.5281\/zenodo.10225278","DOI":"10.5281\/zenodo.10225278"},{"key":"e_1_3_3_3_25_2","doi-asserted-by":"publisher","unstructured":"Kazutaka Matsuda Samantha Frohlich Meng Wang and Nicolas Wu. 2023. Embedding by Unembedding. Proc. ACM Program. Lang. 7 ICFP (Aug. 2023). 10.1145\/3607830Place: New York NY USA Publisher: Association for Computing Machinery.","DOI":"10.1145\/3607830"},{"key":"e_1_3_3_3_26_2","doi-asserted-by":"publisher","DOI":"10.1145\/2500365.2500595"},{"key":"e_1_3_3_3_27_2","doi-asserted-by":"crossref","first-page":"37","DOI":"10.1007\/978-3-540-85373-2_3","volume-title":"Implementation and Application of Functional Languages: 19th International Workshop, IFL 2007, Freiburg, Germany, September 27-29, 2007. Revised Selected Papers","author":"Moraz\u00e1n Marco\u00a0T.","year":"2008","unstructured":"Marco\u00a0T. Moraz\u00e1n and Ulrik\u00a0P. Schultz. 2008. Optimal Lambda Lifting in Quadratic Time. In Implementation and Application of Functional Languages: 19th International Workshop, IFL 2007, Freiburg, Germany, September 27-29, 2007. Revised Selected Papers. Springer-Verlag, Berlin, Heidelberg, 37\u201356."},{"key":"e_1_3_3_3_28_2","doi-asserted-by":"publisher","DOI":"10.1145\/2426890.2426909"},{"key":"e_1_3_3_3_29_2","volume-title":"Haskell 98 language and libraries: the revised report","author":"Peyton\u00a0Jones Simon","year":"2003","unstructured":"Simon Peyton\u00a0Jones (Ed.). 2003. Haskell 98 language and libraries: the revised report. Cambridge University Press, Cambridge."},{"key":"e_1_3_3_3_30_2","doi-asserted-by":"publisher","DOI":"10.1145\/1159803.1159811"},{"key":"e_1_3_3_3_31_2","doi-asserted-by":"publisher","DOI":"10.1145\/53990.54010"},{"key":"e_1_3_3_3_32_2","doi-asserted-by":"publisher","DOI":"10.5555\/509043"},{"key":"e_1_3_3_3_33_2","first-page":"127","volume-title":"Clean Language Report version 3.1","author":"Plasmeijer Rinus","year":"2021","unstructured":"Rinus Plasmeijer, Marko van Eekelen, and John van Groningen. 2021. Clean Language Report version 3.1. Technical Report. Institute for Computing and Information Sciences, Nijmegen. 127 pages."},{"key":"e_1_3_3_3_34_2","unstructured":"Alejandro Serrano. [n. d.]. Type Error Customization for Embedded Domain-Specific Languages. Ph.\u00a0D. Dissertation."},{"key":"e_1_3_3_3_35_2","doi-asserted-by":"publisher","DOI":"10.1145\/3205368.3205370"},{"key":"e_1_3_3_3_36_2","doi-asserted-by":"publisher","unstructured":"Alejandro Serrano Jurriaan Hage Simon Peyton\u00a0Jones and Dimitrios Vytiniotis. 2020. A quick look at impredicativity. Proc. ACM Program. Lang. 4 ICFP Article 89 (Aug. 2020) 29\u00a0pages. 10.1145\/3408971","DOI":"10.1145\/3408971"},{"key":"e_1_3_3_3_37_2","doi-asserted-by":"publisher","DOI":"10.1145\/581690.581691"},{"key":"e_1_3_3_3_38_2","doi-asserted-by":"publisher","unstructured":"Wouter Swierstra. 2008. Data types \u00e0 la carte. Journal of functional programming 18 4 (2008) 423\u2013436. 10.1017\/S0956796808006758","DOI":"10.1017\/S0956796808006758"},{"key":"e_1_3_3_3_39_2","doi-asserted-by":"publisher","unstructured":"Geoffrey Washburn and Stephanie Weirich. 2003. Boxes go bananas: encoding higher-order abstract syntax with parametric polymorphism. SIGPLAN Not. 38 9 (Aug. 2003) 249\u2013262. 10.1145\/944746.944728","DOI":"10.1145\/944746.944728"}],"event":{"name":"PPDP '25: Proceedings of the 27th International Symposium on Principles and Practice of Declarative Programming","location":"Rende Italy","acronym":"PPDP '25"},"container-title":["Proceedings of the 27th International Symposium on Principles and Practice of Declarative Programming"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3756907.3756923","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,12,13]],"date-time":"2025-12-13T09:19:38Z","timestamp":1765617578000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3756907.3756923"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2025,9,10]]},"references-count":38,"alternative-id":["10.1145\/3756907.3756923","10.1145\/3756907"],"URL":"https:\/\/doi.org\/10.1145\/3756907.3756923","relation":{},"subject":[],"published":{"date-parts":[[2025,9,10]]},"assertion":[{"value":"2025-12-13","order":3,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}