{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,25]],"date-time":"2025-03-25T17:48:08Z","timestamp":1742924888795,"version":"3.40.3"},"publisher-location":"Singapore","reference-count":21,"publisher":"Springer Nature Singapore","isbn-type":[{"type":"print","value":"9789819984121"},{"type":"electronic","value":"9789819984138"}],"license":[{"start":{"date-parts":[[2024,1,1]],"date-time":"2024-01-01T00:00:00Z","timestamp":1704067200000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2024,1,1]],"date-time":"2024-01-01T00:00:00Z","timestamp":1704067200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2024]]},"DOI":"10.1007\/978-981-99-8413-8_14","type":"book-chapter","created":{"date-parts":[[2024,2,17]],"date-time":"2024-02-17T01:02:10Z","timestamp":1708131730000},"page":"263-281","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":1,"title":["Origami: (un)folding the\u00a0Abstraction of\u00a0Recursion Schemes for\u00a0Program Synthesis"],"prefix":"10.1007","author":[{"given":"Matheus Campos","family":"Fernandes","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Fabricio Olivetti","family":"de Franca","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Emilio","family":"Francesquini","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2024,2,18]]},"reference":[{"key":"14_CR1","doi-asserted-by":"crossref","unstructured":"Helmuth, T., McPhee, N.F., Spector, L.: Program synthesis using uniform mutation by addition and deletion. In: Proceedings of the Genetic and Evolutionary Computation Conference, pp. 1127\u20131134 (2018)","DOI":"10.1145\/3205455.3205603"},{"key":"14_CR2","doi-asserted-by":"crossref","unstructured":"Pantridge, E., Spector, L.: Code building genetic programming. In: Proceedings of the 2020 Genetic and Evolutionary Computation Conference, pp. 994\u20131002 (2020)","DOI":"10.1145\/3377930.3390239"},{"issue":"4","key":"14_CR3","doi-asserted-by":"publisher","first-page":"349","DOI":"10.1109\/4235.942529","volume":"5","author":"Michael O\u2019Neill","year":"2001","unstructured":"O\u2019Neill, Michael, Ryan, Conor: Grammatical evolution. IEEE Trans. Evolut. Comput. 5(4), 349\u2013358 (2001)","journal-title":"IEEE Trans. Evolut. Comput."},{"key":"14_CR4","doi-asserted-by":"crossref","unstructured":"Manrique, D., R\u00edos, J., Rodr\u00edguez-Pat\u00f3n, A.: Grammar-guided genetic programming. In: Encyclopedia of Artificial Intelligence, pp. 767\u2013773 (2009)","DOI":"10.4018\/978-1-59904-849-9.ch114"},{"key":"14_CR5","unstructured":"Fernandes, M.C., De\u00a0Fran\u00e7a, F.O., Francesquini, E.: HOTGP - Higher-Order Typed Genetic Programming. In: Proceedings of the Genetic and Evolutionary Computation Conference, GECCO \u201923, pp. 1091\u20131099, New York, NY, USA (2023). Association for Computing Machinery"},{"key":"14_CR6","doi-asserted-by":"crossref","unstructured":"Meijer, E., Fokkinga, M., Paterson, R.: Functional programming with bananas, lenses, envelopes and barbed wire. In: Functional Programming Languages and Computer Architecture: 5th ACM Conference Cambridge, MA, USA, August 26\u201330, 1991 Proceedings 5, pp. 124\u2013144. Springer (1991)","DOI":"10.1007\/3540543961_7"},{"key":"14_CR7","doi-asserted-by":"crossref","unstructured":"Gibbons, J.: The fun of programming (2003)","DOI":"10.1007\/978-1-349-91518-7"},{"key":"14_CR8","doi-asserted-by":"crossref","unstructured":"Thomas Helmuth and Lee Spector. General program synthesis benchmark suite. In: Proceedings of the 2015 Annual Conference on Genetic and Evolutionary Computation, pp. 1039\u20131046 (2015)","DOI":"10.1145\/2739480.2754769"},{"key":"14_CR9","doi-asserted-by":"crossref","unstructured":"Jones, N.D.: The expressive power of higher-order types or, life without cons. J. Funct. Program. 11(1), 55\u201394 (2001)","DOI":"10.1017\/S0956796800003889"},{"key":"14_CR10","doi-asserted-by":"crossref","unstructured":"Harvey, B.: Avoiding recursion. In: Hoyles, C., Noss, R. (eds.) Learning Mathematics and LOGO. The MIT Press Cambridge, Massachusetts, USA, p. 393426 (1992)","DOI":"10.7551\/mitpress\/4171.003.0024"},{"key":"14_CR11","doi-asserted-by":"crossref","unstructured":"Garland, S.J., Luckham, D.C.: Program schemes, recursion schemes, and formal languages. J. Comput. Syst. Sci. 7(2), 119\u2013160 (1973)","DOI":"10.1016\/S0022-0000(73)80040-6"},{"key":"14_CR12","doi-asserted-by":"crossref","unstructured":"Helmuth, T., Spector, L.: General program synthesis benchmark suite. In: GECCO \u201915: Proceedings of the 2015 Annual Conference on Genetic and Evolutionary Computation, pp. 1039\u20131046. ACM, Madrid, Spain (2015)","DOI":"10.1145\/2739480.2754769"},{"key":"14_CR13","doi-asserted-by":"crossref","unstructured":"Forstenlechner, S., Fagan, D., Nicolau, M., O\u2019Neill, M.: A grammar design pattern for arbitrary program synthesis problems in genetic programming. In: McDermott, J., Castelli, M., Sekanina, L., Haasdijk, E., Garc\u00eda-S\u00e1nchez, P. (eds.) Genetic Programming, pp. 262\u2013277. Springer International Publishing, Cham (2017)","DOI":"10.1007\/978-3-319-55696-3_17"},{"key":"14_CR14","doi-asserted-by":"crossref","unstructured":"Forstenlechner, S., Fagan, D., Nicolau, M., O\u2019Neill, M.: Extending program synthesis grammars for grammar-guided genetic programming. In: Auger, A., Fonseca, C.M., Louren\u00e7o, N., Machado, P., Paquete, L., Whitley, D. (eds.) Parallel Problem Solving from Nature \u2013 PPSN XV, pp. 197\u2013208. Springer International Publishing, Cham (2018)","DOI":"10.1007\/978-3-319-99253-2_16"},{"key":"14_CR15","doi-asserted-by":"crossref","unstructured":"Pantridge, E., Helmuth, T., Spector, L.: Functional code building genetic programming. In: Proceedings of the Genetic and Evolutionary Computation Conference, GECCO \u201922, pp. 1000\u20131008, New York, NY, USA (2022). Association for Computing Machinery","DOI":"10.1145\/3512290.3528866"},{"key":"14_CR16","doi-asserted-by":"crossref","unstructured":"Garrow, F., Lones, M.A., Stewart, R.: Why functional program synthesis matters (in the realm of genetic programming). In: Proceedings of the Genetic and Evolutionary Computation Conference Companion, GECCO \u201922, pp. 1844\u20131853, New York, NY, USA (2022). Association for Computing Machinery","DOI":"10.1145\/3520304.3534045"},{"key":"14_CR17","doi-asserted-by":"crossref","unstructured":"Helmuth, T., Spector, L.: Problem-solving benefits of down-sampled lexicase selection. Artif. Life 27(3\u20134), 183\u2013203, 03 (2022)","DOI":"10.1162\/artl_a_00341"},{"key":"14_CR18","doi-asserted-by":"crossref","unstructured":"Helmuth, T., McPhee, N.F., Spector, L.: Program synthesis using uniform mutation by addition and deletion. In: Proceedings of the Genetic and Evolutionary Computation Conference, GECCO \u201918, pp. 1127\u20131134, New York, NY, USA (2018). Association for Computing Machinery","DOI":"10.1145\/3205455.3205603"},{"key":"14_CR19","unstructured":"Searson, D.P., Leahy, D.E., Willis, M.J.: Gptips: an open source genetic programming toolbox for multigene symbolic regression. In: Proceedings of the International Multiconference of Engineers and Computer Scientists, vol.\u00a01, pp. 77\u201380. Citeseer (2010)"},{"key":"14_CR20","doi-asserted-by":"crossref","unstructured":"Soule, T., Heckendorn, R.B.: Improving performance and cooperation in multi-agent systems. Genetic Programming Theory and Practice V, pp. 221\u2013237 (2008)","DOI":"10.1007\/978-0-387-76308-8_13"},{"key":"14_CR21","doi-asserted-by":"crossref","unstructured":"Grefenstette, J., Daley, R.: Methods for competitive and cooperative co-evolution. In: Adaptation, Coevolution and Learning in Multiagent Systems: Papers from the 1996 AAAI Spring Symposium, pp. 45\u201350 (1996)","DOI":"10.2307\/2410840"}],"container-title":["Genetic and Evolutionary Computation","Genetic Programming Theory and Practice XX"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-981-99-8413-8_14","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,2,17]],"date-time":"2024-02-17T01:04:54Z","timestamp":1708131894000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-981-99-8413-8_14"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2024]]},"ISBN":["9789819984121","9789819984138"],"references-count":21,"URL":"https:\/\/doi.org\/10.1007\/978-981-99-8413-8_14","relation":{},"ISSN":["1932-0167","1932-0175"],"issn-type":[{"type":"print","value":"1932-0167"},{"type":"electronic","value":"1932-0175"}],"subject":[],"published":{"date-parts":[[2024]]},"assertion":[{"value":"18 February 2024","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}