{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,7,11]],"date-time":"2026-07-11T10:14:25Z","timestamp":1783764865590,"version":"3.55.0"},"publisher-location":"New York, NY, USA","reference-count":30,"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":[{"DOI":"10.13039\/100000001","name":"National Science Foundation","doi-asserted-by":"publisher","award":["2117377"],"award-info":[{"award-number":["2117377"]}],"id":[{"id":"10.13039\/100000001","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2023,7,15]]},"DOI":"10.1145\/3583131.3590502","type":"proceedings-article","created":{"date-parts":[[2023,7,12]],"date-time":"2023-07-12T19:40:19Z","timestamp":1689190819000},"page":"1175-1183","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":7,"title":["Solving Novel Program Synthesis Problems with Genetic Programming using Parametric Polymorphism"],"prefix":"10.1145","author":[{"ORCID":"https:\/\/orcid.org\/0000-0003-0535-5268","authenticated-orcid":false,"given":"Edward","family":"Pantridge","sequence":"first","affiliation":[{"name":"Swoop, Boston, MA, United States of America"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-2330-6809","authenticated-orcid":false,"given":"Thomas","family":"Helmuth","sequence":"additional","affiliation":[{"name":"Hamilton College, Clinton, New York, United States of America"}],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"320","published-online":{"date-parts":[[2023,7,12]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.1109\/FMCAD.2013.6679385"},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1145\/3208071"},{"key":"e_1_3_2_1_3_1","volume-title":"Program Synthesis with Large Language Models. arXiv (Aug","author":"Austin Jacob","year":"2021","unstructured":"Jacob Austin , Augustus Odena , Maxwell Nye , Maarten Bosma , Henryk Michalewski , David Dohan , Ellen Jiang , Carrie Cai , Michael Terry , Quoc Le , and Charles Sutton . 2021. Program Synthesis with Large Language Models. arXiv (Aug . 2021 ). http:\/\/arxiv.org\/abs\/2108.07732 arXiv: 2108.07732. Jacob Austin, Augustus Odena, Maxwell Nye, Maarten Bosma, Henryk Michalewski, David Dohan, Ellen Jiang, Carrie Cai, Michael Terry, Quoc Le, and Charles Sutton. 2021. Program Synthesis with Large Language Models. arXiv (Aug. 2021). http:\/\/arxiv.org\/abs\/2108.07732 arXiv: 2108.07732."},{"key":"e_1_3_2_1_4_1","volume-title":"DeepCoder: Learning to Write Programs. CoRR abs\/1611.01989","author":"Balog Matej","year":"2016","unstructured":"Matej Balog , Alexander L. Gaunt , Marc Brockschmidt , Sebastian Nowozin , and Daniel Tarlow . 2016. DeepCoder: Learning to Write Programs. CoRR abs\/1611.01989 ( 2016 ). arXiv:1611.01989 http:\/\/arxiv.org\/abs\/1611.01989 Matej Balog, Alexander L. Gaunt, Marc Brockschmidt, Sebastian Nowozin, and Daniel Tarlow. 2016. DeepCoder: Learning to Write Programs. CoRR abs\/1611.01989 (2016). arXiv:1611.01989 http:\/\/arxiv.org\/abs\/1611.01989"},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-55696-3_1"},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1145\/6041.6042"},{"key":"e_1_3_2_1_7_1","unstructured":"Mark Chen Jerry Tworek Heewoo Jun Qiming Yuan Henrique Ponde Jared Kaplan Harri Edwards Yura Burda Nicholas Joseph Greg Brockman Alex Ray Raul Puri Gretchen Krueger Michael Petrov Heidy Khlaaf Girish Sastry Pamela Mishkin Brooke Chan Scott Gray Nick Ryder Mikhail Pavlov Alethea Power Lukasz Kaiser Mohammad Bavarian Clemens Winter Philippe Tillet Felipe Such Dave Cummings Matthias Plappert Fotios Chantzis Elizabeth Barnes Ariel Herbert-Voss Will Guss Alex Nichol Igor Babuschkin Suchir Balaji Shantanu Jain Andrew Carr Jan Leike Josh Achiam Vedant Misra Evan Morikawa Alec Radford Matthew Knight Miles Brundage Mira Murati Katie Mayer Peter Welinder Bob McGrew Dario Amodei Sam McCandlish Ilya Sutskever and Wojciech Zaremba. 2021. Evaluating Large Language Models Trained on Code. arXiv (2021). http:\/\/arxiv.org\/abs\/2107.03374  Mark Chen Jerry Tworek Heewoo Jun Qiming Yuan Henrique Ponde Jared Kaplan Harri Edwards Yura Burda Nicholas Joseph Greg Brockman Alex Ray Raul Puri Gretchen Krueger Michael Petrov Heidy Khlaaf Girish Sastry Pamela Mishkin Brooke Chan Scott Gray Nick Ryder Mikhail Pavlov Alethea Power Lukasz Kaiser Mohammad Bavarian Clemens Winter Philippe Tillet Felipe Such Dave Cummings Matthias Plappert Fotios Chantzis Elizabeth Barnes Ariel Herbert-Voss Will Guss Alex Nichol Igor Babuschkin Suchir Balaji Shantanu Jain Andrew Carr Jan Leike Josh Achiam Vedant Misra Evan Morikawa Alec Radford Matthew Knight Miles Brundage Mira Murati Katie Mayer Peter Welinder Bob McGrew Dario Amodei Sam McCandlish Ilya Sutskever and Wojciech Zaremba. 2021. Evaluating Large Language Models Trained on Code. arXiv (2021). http:\/\/arxiv.org\/abs\/2107.03374"},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-55696-3_17"},{"key":"e_1_3_2_1_9_1","volume-title":"Parallel Problem Solving from","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. Springer International Publishing , Cham , 197--208. 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. Springer International Publishing, Cham, 197--208."},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1145\/3520304.3534045"},{"key":"e_1_3_2_1_11_1","volume-title":"From LCF to HOL: A Short History","author":"Gordon Mike","unstructured":"Mike Gordon . 2000. From LCF to HOL: A Short History . MIT Press , Cambridge, MA, USA , 169--185. Mike Gordon. 2000. From LCF to HOL: A Short History. MIT Press, Cambridge, MA, USA, 169--185."},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1145\/1926385.1926423"},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1145\/3449639.3459285"},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10710-022-09434-y"},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1145\/3205455.3205603"},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1162\/isal_a_00326"},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1145\/2739480.2754769"},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1109\/TEVC.2014.2362729"},{"key":"e_1_3_2_1_19_1","first-page":"29","article-title":"The principal type-scheme of an object in combinatory logic","volume":"146","author":"Hindley Roger","year":"1969","unstructured":"Roger Hindley . 1969 . The principal type-scheme of an object in combinatory logic . Transactions of the american mathematical society 146 (1969), 29 -- 60 . Roger Hindley. 1969. The principal type-scheme of an object in combinatory logic. Transactions of the american mathematical society 146 (1969), 29--60.","journal-title":"Transactions of the american mathematical society"},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1007\/BF02163002"},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.1016\/0022-0000(78)90014-4"},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10710-019-09364-2"},{"key":"e_1_3_2_1_23_1","doi-asserted-by":"publisher","DOI":"10.1145\/3512290.3528866"},{"key":"e_1_3_2_1_24_1","doi-asserted-by":"publisher","DOI":"10.1145\/3377930.3390239"},{"key":"e_1_3_2_1_25_1","unstructured":"Riccardo Poli William B. Langdon and Nicholas Freitag McPhee. 2008. A field guide to genetic programming. Published via http:\/\/lulu.com and freely available at http:\/\/www.gp-field-guide.org.uk. (With contributions by J. R. Koza).  Riccardo Poli William B. Langdon and Nicholas Freitag McPhee. 2008. A field guide to genetic programming. Published via http:\/\/lulu.com and freely available at http:\/\/www.gp-field-guide.org.uk. (With contributions by J. R. Koza)."},{"key":"e_1_3_2_1_26_1","volume-title":"Neill","author":"Ryan Conor","year":"1998","unstructured":"Conor Ryan , JJ Collins , and Michael O . Neill . 1998 . Grammatical evolution: Evolving programs for an arbitrary language. In Genetic Programming. Springer Berlin Heidelberg , Berlin, Heidelberg, 83--96. Conor Ryan, JJ Collins, and Michael O. Neill. 1998. Grammatical evolution: Evolving programs for an arbitrary language. In Genetic Programming. Springer Berlin Heidelberg, Berlin, Heidelberg, 83--96."},{"key":"e_1_3_2_1_27_1","doi-asserted-by":"publisher","DOI":"10.1145\/3512290.3528700"},{"key":"e_1_3_2_1_28_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10009-012-0249-7"},{"key":"e_1_3_2_1_29_1","doi-asserted-by":"publisher","DOI":"10.1145\/1068009.1068292"},{"key":"e_1_3_2_1_30_1","volume-title":"PolyGP: A polymorphic genetic programming system in Haskell","author":"Yu Tina","unstructured":"Tina Yu and Chris Clack . 1997. PolyGP: A polymorphic genetic programming system in Haskell . Stanford University Bookstore . Tina Yu and Chris Clack. 1997. PolyGP: A polymorphic genetic programming system in Haskell. Stanford University Bookstore."}],"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.3590502","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3583131.3590502","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,17]],"date-time":"2025-06-17T16:37:44Z","timestamp":1750178264000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3583131.3590502"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2023,7,12]]},"references-count":30,"alternative-id":["10.1145\/3583131.3590502","10.1145\/3583131"],"URL":"https:\/\/doi.org\/10.1145\/3583131.3590502","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"}}]}}