{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,1,2]],"date-time":"2026-01-02T07:10:23Z","timestamp":1767337823206,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":44,"publisher":"ACM","license":[{"start":{"date-parts":[[2022,7,9]],"date-time":"2022-07-09T00:00:00Z","timestamp":1657324800000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"funder":[{"name":"UKRI","award":["EP\/S023208\/1"],"award-info":[{"award-number":["EP\/S023208\/1"]}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2022,7,9]]},"DOI":"10.1145\/3520304.3534045","type":"proceedings-article","created":{"date-parts":[[2022,7,19]],"date-time":"2022-07-19T15:29:44Z","timestamp":1658244584000},"page":"1844-1853","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":8,"title":["Why functional program synthesis matters (in the realm of genetic programming)"],"prefix":"10.1145","author":[{"given":"Fraser","family":"Garrow","sequence":"first","affiliation":[{"name":"Heriot-Watt University, Edinburgh, UK"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Michael A.","family":"Lones","sequence":"additional","affiliation":[{"name":"Heriot-Watt University, Edinburgh, UK"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Robert","family":"Stewart","sequence":"additional","affiliation":[{"name":"Heriot-Watt University, Edinburgh, UK"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2022,7,19]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.1145\/1389095.1389330"},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1145\/3122955.3122961"},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-55696-3_1"},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","unstructured":"Mark Chen Jerry Tworek Heewoo Jun Qiming Yuan Henrique Ponde de Oliveira Pinto Jared Kaplan Harri Edwards Yuri 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 Petroski Such Dave Cummings Matthias Plappert Fotios Chantzis Elizabeth Barnes Ariel Herbert-Voss William Hebgen Guss Alex Nichol Alex Paino Nikolas Tezak Jie Tang Igor Babuschkin Suchir Balaji Shantanu Jain William Saunders Christopher Hesse Andrew N. 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. 10.48550\/ARXIV.2107.03374","DOI":"10.48550\/ARXIV.2107.03374"},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1145\/2739482.2768458"},{"key":"e_1_3_2_1_6_1","volume-title":"Retrieved","author":"Code Rosetta","year":"2022","unstructured":"Rosetta Code. 2022. FizzBuzz. Retrieved April 11, 2022 from https:\/\/www.rosettacode.org\/wiki\/FizzBuzz#Python3:_Simple"},{"key":"e_1_3_2_1_7_1","volume-title":"Retrieved","author":"Code Rosetta","year":"2022","unstructured":"Rosetta Code. 2022. FizzBuzz. Retrieved April 11, 2022 from https:\/\/www.rosettacode.org\/wiki\/FizzBuzz#Haskell"},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.ipl.2019.105866"},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1145\/3453483.3454080"},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1145\/3067695.3082469"},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-030-58115-2_2"},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-55696-3_17"},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-99253-2_16"},{"volume-title":"The State of the Octoverse. Retrieved","year":"2021","key":"e_1_3_2_1_14_1","unstructured":"GitHub. 2021. 2021, The State of the Octoverse. Retrieved April 11, 2022 from https:\/\/octoverse.github.com\/"},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1145\/2739482.2768456"},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1145\/3449639.3459285"},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1145\/3071178.3071330"},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1145\/2739480.2754769"},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1145\/3321707.3321865"},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1093\/nsr\/nwv042"},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.1093\/comjnl\/32.2.98"},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10817-017-9409-5"},{"key":"e_1_3_2_1_23_1","doi-asserted-by":"publisher","DOI":"10.1145\/3071178.3071224"},{"volume-title":"Genetic Programming, Michael O'Neill, Leonardo Vanneschi, Steven Gustafson, Anna Isabel Esparcia Alc\u00e1zar","author":"Langdon W. B.","key":"e_1_3_2_1_24_1","unstructured":"W. B. Langdon and Wolfgang Banzhaf. 2008. A SIMD Interpreter for Genetic Programming on GPU Graphics Cards. In Genetic Programming, Michael O'Neill, Leonardo Vanneschi, Steven Gustafson, Anna Isabel Esparcia Alc\u00e1zar, Ivanoe De Falco, Antonio Della Cioppa, and Ernesto Tarantino (Eds.). Springer Berlin Heidelberg, Berlin, Heidelberg, 73--85."},{"key":"e_1_3_2_1_25_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10710-021-09414-8"},{"key":"e_1_3_2_1_26_1","unstructured":"Simon Marlow et al. 2010. Haskell 2010 language report. Available online http:\/\/www.haskell.org\/(May 2011) (2010)."},{"key":"e_1_3_2_1_27_1","volume-title":"Retrieved","author":"Matela Rudy","year":"2022","unstructured":"Rudy Matela. 2022. code-conjure: synthesize Haskell functions out of partial definitions. Retrieved April 11, 2022 from https:\/\/hackage.haskell.org\/package\/code-conjure"},{"key":"e_1_3_2_1_28_1","doi-asserted-by":"publisher","DOI":"10.1145\/1569901.1570220"},{"key":"e_1_3_2_1_29_1","volume-title":"Retrieved","author":"Overflow Stack","year":"2021","unstructured":"Stack Overflow. 2021. Developer Survey 2021. Retrieved April 11, 2022 from https:\/\/insights.stackoverflow.com\/survey\/2021"},{"key":"e_1_3_2_1_30_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-16501-1_9"},{"key":"e_1_3_2_1_31_1","doi-asserted-by":"publisher","DOI":"10.1109\/TEVC.2017.2693219"},{"key":"e_1_3_2_1_32_1","volume-title":"Wearing the hair shirt: a retrospective on Haskell","author":"Jones Simon Peyton","year":"2003","unstructured":"Simon Peyton Jones. 2003. Wearing the hair shirt: a retrospective on Haskell (2003). (Jan. 2003). https:\/\/www.microsoft.com\/en-us\/research\/publication\/wearing-hair-shirt-retrospective-haskell-2003\/ Edition: invited talk at POPL 2003."},{"key":"e_1_3_2_1_33_1","doi-asserted-by":"publisher","DOI":"10.1145\/2980983.2908093"},{"key":"e_1_3_2_1_34_1","volume-title":"quickspec: Equational laws for free! Retrieved","author":"Smallbone Nick","year":"2022","unstructured":"Nick Smallbone. 2022. quickspec: Equational laws for free! Retrieved April 11, 2022 from https:\/\/hackage.haskell.org\/package\/quickspec"},{"key":"e_1_3_2_1_35_1","doi-asserted-by":"publisher","DOI":"10.1145\/3449639.3459305"},{"key":"e_1_3_2_1_36_1","doi-asserted-by":"publisher","DOI":"10.1109\/TEVC.2022.3162324"},{"volume-title":"Program synthesis by sketching. phd","author":"Solar-Lezama Armando","key":"e_1_3_2_1_37_1","unstructured":"Armando Solar-Lezama. 2008. Program synthesis by sketching. phd. University of California at Berkeley, USA. AAI3353225 ISBN-13: 9781109097450."},{"key":"e_1_3_2_1_38_1","doi-asserted-by":"publisher","DOI":"10.1017\/S0890060408000188"},{"key":"e_1_3_2_1_39_1","doi-asserted-by":"publisher","DOI":"10.1023\/A:1014538503543"},{"key":"e_1_3_2_1_40_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10710-019-09347-3"},{"volume-title":"Synthesizing Programs from Program Pieces Using Genetic Programming and Refinement Type Checking","author":"Tseng Sabrina","key":"e_1_3_2_1_41_1","unstructured":"Sabrina Tseng, Erik Hemberg, and Una-May O'Reilly. 2022. Synthesizing Programs from Program Pieces Using Genetic Programming and Refinement Type Checking. In Genetic Programming, Eric Medvet, Gisele Pappa, and Bing Xue (Eds.). Springer International Publishing, Cham, 197--211."},{"key":"e_1_3_2_1_42_1","doi-asserted-by":"publisher","DOI":"10.1145\/286385.286387"},{"key":"e_1_3_2_1_43_1","doi-asserted-by":"publisher","DOI":"10.1145\/3377930.3390208"},{"key":"e_1_3_2_1_44_1","volume-title":"An Analysis of the Impact of Functional Programming Techniques on Genetic Programming. Ph","author":"Gwoing Tina Yu.","year":"1999","unstructured":"Gwoing Tina Yu. 1999. An Analysis of the Impact of Functional Programming Techniques on Genetic Programming. Ph.D. University of London. https:\/\/discovery.ucl.ac.uk\/id\/eprint\/10104592\/ Accepted: 1999."}],"event":{"name":"GECCO '22: Genetic and Evolutionary Computation Conference","sponsor":["SIGEVO ACM Special Interest Group on Genetic and Evolutionary Computation"],"location":"Boston Massachusetts","acronym":"GECCO '22"},"container-title":["Proceedings of the Genetic and Evolutionary Computation Conference Companion"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3520304.3534045","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3520304.3534045","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,17]],"date-time":"2025-06-17T19:02:28Z","timestamp":1750186948000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3520304.3534045"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2022,7,9]]},"references-count":44,"alternative-id":["10.1145\/3520304.3534045","10.1145\/3520304"],"URL":"https:\/\/doi.org\/10.1145\/3520304.3534045","relation":{},"subject":[],"published":{"date-parts":[[2022,7,9]]},"assertion":[{"value":"2022-07-19","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}