{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,28]],"date-time":"2026-04-28T07:12:55Z","timestamp":1777360375331,"version":"3.51.4"},"publisher-location":"New York, NY, USA","reference-count":33,"publisher":"ACM","license":[{"start":{"date-parts":[[2023,7,12]],"date-time":"2023-07-12T00:00:00Z","timestamp":1689120000000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"funder":[{"name":"Coordena\u00e7\u00e3o de Aperfei\u00e7oamento de Pessoal de N\u00edvel Superior"},{"name":"Funda\u00e7\u00e3o de Amparo \u00e0 Pesquisa do Estado de S\u00e3o Paulo","award":["#2021\/12706-1"],"award-info":[{"award-number":["#2021\/12706-1"]}]},{"name":"Funda\u00e7\u00e3o de Amparo \u00e0 Pesquisa do Estado de S\u00e3o Paulo","award":["#2019\/26702-8"],"award-info":[{"award-number":["#2019\/26702-8"]}]},{"name":"Funda\u00e7\u00e3o de Amparo \u00e0 Pesquisa do Estado de S\u00e3o Paulo","award":["#2021\/06867-2"],"award-info":[{"award-number":["#2021\/06867-2"]}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2023,7,15]]},"DOI":"10.1145\/3583131.3590464","type":"proceedings-article","created":{"date-parts":[[2024,2,18]],"date-time":"2024-02-18T06:48:08Z","timestamp":1708238888000},"page":"1091-1099","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":9,"title":["HOTGP - Higher-Order Typed Genetic Programming"],"prefix":"10.1145","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-5118-2399","authenticated-orcid":false,"given":"Matheus Campos","family":"Fernandes","sequence":"first","affiliation":[{"name":"Centro de Matem\u00e1tica, Computa\u00e7\u00e3o e Cogni\u00e7\u00e3o, Universidade Federal do ABC, Santo Andr\u00e9, S\u00e3o Paulo, Brazil"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-2741-8736","authenticated-orcid":false,"given":"Fabr\u00edcio Olivetti","family":"De Fran\u00e7a","sequence":"additional","affiliation":[{"name":"Centro de Matem\u00e1tica, Computa\u00e7\u00e3o e Cogni\u00e7\u00e3o, Universidade Federal do ABC, Santo Andr\u00e9, S\u00e3o Paulo, Brazil"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-5374-2521","authenticated-orcid":false,"given":"Em\u00edlio","family":"Francesquini","sequence":"additional","affiliation":[{"name":"Centro de Matem\u00e1tica, Computa\u00e7\u00e3o e Cogni\u00e7\u00e3o, Universidade Federal do ABC, Santo Andr\u00e9, S\u00e3o Paulo, Brazil"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2023,7,12]]},"reference":[{"key":"e_1_3_2_1_1_1","volume-title":"Johnson","author":"Castle Tom","year":"2012","unstructured":"Tom Castle and Colin G. Johnson. 2012. Evolving High-Level Imperative Program Trees with Strongly Formed Genetic Programming. In Genetic Programming, Alberto Moraglio, Sara Silva, Krzysztof Krawiec, Penousal Machado, and Carlos Cotta (Eds.). Springer Berlin Heidelberg, Berlin, Heidelberg, 1--12."},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1016\/1385-7258(72)90034-0"},{"key":"e_1_3_2_1_3_1","volume-title":"A Grammar Design Pattern for Arbitrary Program Synthesis Problems in Genetic Programming","author":"Forstenlechner Stefan","unstructured":"Stefan Forstenlechner, David Fagan, Miguel Nicolau, and Michael O'Neill. 2017. A Grammar Design Pattern for Arbitrary Program Synthesis Problems in Genetic Programming. In Genetic Programming, James McDermott, Mauro Castelli, Lukas Sekanina, Evert Haasdijk, and Pablo Garc\u00eda-S\u00e1nchez (Eds.). Springer International Publishing, Cham, 262--277."},{"key":"e_1_3_2_1_4_1","volume-title":"Parallel Problem Solving from Nature - PPSN XV, Anne Auger, Carlos M","author":"Forstenlechner Stefan","unstructured":"Stefan Forstenlechner, David Fagan, Miguel Nicolau, and Michael O'Neill. 2018. Extending Program Synthesis Grammars for Grammar-Guided Genetic Programming. In Parallel Problem Solving from Nature - PPSN XV, Anne Auger, Carlos M. Fonseca, Nuno Louren\u00e7o, Penousal Machado, Lu\u00eds Paquete, and Darrell Whitley (Eds.). Springer International Publishing, Cham, 197--208."},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1145\/3520304.3534045"},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1145\/1836089.1836091"},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"crossref","unstructured":"Sumit Gulwani Oleksandr Polozov Rishabh Singh et al. 2017. Program synthesis. Foundations and Trends\u00ae in Programming Languages 4 1--2 (2017) 1--119.","DOI":"10.1561\/2500000010"},{"key":"e_1_3_2_1_8_1","volume-title":"Proceedings of the 6th International Conference on Genetic Algorithms. Morgan Kaufmann Publishers Inc.","author":"Haynes Thomas","unstructured":"Thomas Haynes, Roger L. Wainwright, Sandip Sen, and Dale A. Schoenefeld. 1995. Strongly Typed Genetic Programming in Evolving Cooperation Strategies. In Proceedings of the 6th International Conference on Genetic Algorithms. Morgan Kaufmann Publishers Inc., San Francisco, CA, USA, 271--278."},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1145\/3520304.3528891"},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1145\/3071178.3071330"},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1145\/3205455.3205603"},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1145\/2739480.2754769"},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1162\/artl_a_00341"},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1145\/3321707.3321865"},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1017\/S0956796800001210"},{"key":"e_1_3_2_1_16_1","volume-title":"Systematic search for lambda expressions. Trends in functional programming 6","author":"Katayama Susumu","year":"2005","unstructured":"Susumu Katayama. 2005. Systematic search for lambda expressions. Trends in functional programming 6 (2005), 111--126."},{"key":"e_1_3_2_1_17_1","volume-title":"Genetic Programming, Lukas Sekanina, Ting Hu, Nuno Louren\u00e7o, Hendrik Richter, and Pablo Garc\u00eda-S\u00e1nchez (Eds.)","author":"Kelly Jonathan","unstructured":"Jonathan Kelly, Erik Hemberg, and Una-May O'Reilly. 2019. Improving Genetic Programming with Novel Exploration - Exploitation Control. In Genetic Programming, Lukas Sekanina, Ting Hu, Nuno Louren\u00e7o, Hendrik Richter, and Pablo Garc\u00eda-S\u00e1nchez (Eds.). Springer International Publishing, Cham, 64--80."},{"key":"e_1_3_2_1_18_1","volume-title":"Genetic Programming: On the Programming of Computers by Means of Natural Selection","author":"Koza John R","year":"1992","unstructured":"John R Koza. 1992. Genetic Programming: On the Programming of Computers by Means of Natural Selection. Bradford Books, Cambridge, MA."},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1007\/0-387-28356-0_5"},{"key":"e_1_3_2_1_20_1","volume-title":"A comparison of bloat control methods for genetic programming. Evolutionary computation 14, 3","author":"Luke Sean","year":"2006","unstructured":"Sean Luke and Liviu Panait. 2006. A comparison of bloat control methods for genetic programming. Evolutionary computation 14, 3 (2006), 309--344."},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.4018\/978-1-59904-849-9.ch114"},{"key":"e_1_3_2_1_22_1","volume-title":"Strongly typed genetic programming. Evolutionary computation 3, 2","author":"Montana David J","year":"1995","unstructured":"David J Montana. 1995. Strongly typed genetic programming. Evolutionary computation 3, 2 (1995), 199--230."},{"key":"e_1_3_2_1_23_1","volume-title":"Inductive functional programming using incremental program transformation. Artificial intelligence 74, 1","author":"Olsson Roland","year":"1995","unstructured":"Roland Olsson. 1995. Inductive functional programming using incremental program transformation. Artificial intelligence 74, 1 (1995), 55--81."},{"key":"e_1_3_2_1_24_1","doi-asserted-by":"publisher","DOI":"10.1145\/3067695.3082533"},{"key":"e_1_3_2_1_25_1","doi-asserted-by":"publisher","DOI":"10.1145\/3512290.3528866"},{"key":"e_1_3_2_1_26_1","doi-asserted-by":"publisher","DOI":"10.1145\/3377930.3390239"},{"key":"e_1_3_2_1_27_1","doi-asserted-by":"publisher","DOI":"10.1145\/3126905"},{"key":"e_1_3_2_1_28_1","doi-asserted-by":"publisher","DOI":"10.1145\/3377929.3390042"},{"key":"e_1_3_2_1_29_1","doi-asserted-by":"publisher","DOI":"10.5555\/79245.79247"},{"key":"e_1_3_2_1_30_1","doi-asserted-by":"publisher","DOI":"10.1016\/B978-0-08-050684-5.50009-4"},{"key":"e_1_3_2_1_31_1","doi-asserted-by":"publisher","DOI":"10.1002\/spe.4380090105"},{"key":"e_1_3_2_1_32_1","volume-title":"Polymorphism and Genetic Programming","author":"Tina Yu.","unstructured":"Tina Yu. 2001. Polymorphism and Genetic Programming. In Genetic Programming, Julian Miller, Marco Tomassini, Pier Luca Lanzi, Conor Ryan, Andrea G. B. Tettamanzi, and William B. Langdon (Eds.). Springer Berlin Heidelberg, Berlin, Heidelberg, 218--233."},{"key":"e_1_3_2_1_33_1","volume-title":"Genetic Programming 1998: Proceedings of the Third Annual Conference, John R","author":"Yu Tina","unstructured":"Tina Yu and Chris Clack. 1998. PolyGP: A Polymorphic Genetic Programming System in Haskell. In Genetic Programming 1998: Proceedings of the Third Annual Conference, John R. Koza, Wolfgang Banzhaf, Kumar Chellapilla, Kalyanmoy Deb, Marco Dorigo, David B. Fogel, Max H. Garzon, David E. Goldberg, Hitoshi Iba, and Rick Riolo (Eds.). Morgan Kaufmann, University of Wisconsin, Madison, Wisconsin, USA, 416--421. http:\/\/www.cs.mun.ca\/~tinayu\/index_files\/addr\/public_html\/pgp.new.pdf"}],"event":{"name":"GECCO '23: Genetic and Evolutionary Computation Conference","location":"Lisbon Portugal","acronym":"GECCO '23","sponsor":["SIGEVO ACM Special Interest Group on Genetic and Evolutionary Computation"]},"container-title":["Proceedings of the Genetic and Evolutionary Computation Conference"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3583131.3590464","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3583131.3590464","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,17]],"date-time":"2025-06-17T16:47:03Z","timestamp":1750178823000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3583131.3590464"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2023,7,12]]},"references-count":33,"alternative-id":["10.1145\/3583131.3590464","10.1145\/3583131"],"URL":"https:\/\/doi.org\/10.1145\/3583131.3590464","relation":{},"subject":[],"published":{"date-parts":[[2023,7,12]]},"assertion":[{"value":"2023-07-12","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}