{"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":1783764865570,"version":"3.55.0"},"publisher-location":"New York, NY, USA","reference-count":16,"publisher":"ACM","license":[{"start":{"date-parts":[[2008,7,12]],"date-time":"2008-07-12T00:00:00Z","timestamp":1215820800000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2008,7,12]]},"DOI":"10.1145\/1389095.1389330","type":"proceedings-article","created":{"date-parts":[[2008,7,22]],"date-time":"2008-07-22T13:46:39Z","timestamp":1216734399000},"page":"1187-1194","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":15,"title":["Genetic programming with polymorphic types and higher-order functions"],"prefix":"10.1145","author":[{"given":"Franck","family":"Binard","sequence":"first","affiliation":[{"name":"University of Ottawa, Ottawa, ON, Canada"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Amy","family":"Felty","sequence":"additional","affiliation":[{"name":"University of Ottawa, Ottawa, ON, Canada"}],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"320","published-online":{"date-parts":[[2008,7,12]]},"reference":[{"key":"e_1_3_2_1_1_1","volume-title":"Handbook of Logic in Computer Science, Volumes 1","author":"Barendregt H.","year":"1992","unstructured":"H. Barendregt . Lambda calculi with types . In Handbook of Logic in Computer Science, Volumes 1 ( Background : Mathematical Structures) and 2 (Background: Computational Structures), Abramsky & Gabbay & Maibaum (Eds.), Clarendon. Oxford University Press , 1992 . H. Barendregt. Lambda calculi with types. In Handbook of Logic in Computer Science, Volumes 1 (Background: Mathematical Structures) and 2 (Background: Computational Structures), Abramsky & Gabbay & Maibaum (Eds.), Clarendon. Oxford University Press, 1992."},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1145\/1274000.1274004"},{"key":"e_1_3_2_1_3_1","first-page":"60","volume-title":"Proceedings of the Fourth Golden West Conference on intelligent Systems","author":"Brave S.","year":"1995","unstructured":"S. Brave . Using genetic programming to evolve recursive programs for tree search . In Proceedings of the Fourth Golden West Conference on intelligent Systems , pages 60 -- 65 , NC, 1995 . International Society for Computers and Their Applications, Raleigh. S. Brave. Using genetic programming to evolve recursive programs for tree search. In Proceedings of the Fourth Golden West Conference on intelligent Systems, pages 60--65, NC, 1995. International Society for Computers and Their Applications, Raleigh."},{"key":"e_1_3_2_1_4_1","first-page":"87","volume-title":"Evolutionary Programming VI","author":"Clack C.","year":"1997","unstructured":"C. Clack and T. Yu . Performance enhanced genetic programming . In P. J. Angeline, R. G. Reynolds, J. R. McDonnell, and R. Eberhart, editors, Evolutionary Programming VI , pages 87 -- 100 , Berlin, 1997 . Springer . C. Clack and T. Yu. Performance enhanced genetic programming. In P. J. Angeline, R. G. Reynolds, J. R. McDonnell, and R. Eberhart, editors, Evolutionary Programming VI, pages 87--100, Berlin, 1997. Springer."},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1016\/S0049-237X(08)70843-7"},{"key":"e_1_3_2_1_6_1","volume-title":"Proofs and types","author":"Girard J.","year":"1989","unstructured":"J. Girard Proofs and types . Cambridge University Press New York , 1989 . J. Girard et al. Proofs and types. Cambridge University Press New York, 1989."},{"key":"e_1_3_2_1_7_1","first-page":"271","volume-title":"Genetic Algorithms: Proceedings of the Sixth International Conference (ICGA95)","author":"Haynes T.","year":"1995","unstructured":"T. Haynes , R. Wainwright , S. Sen , and D. Schoenefeld . Strongly typed genetic programming in evolving cooperation strategies. In L. Eshelman, editor , Genetic Algorithms: Proceedings of the Sixth International Conference (ICGA95) , pages 271 -- 278 , Pittsburgh, PA, USA, 15-19 1995 . Morgan Kaufmann. T. Haynes, R. Wainwright, S. Sen, and D. Schoenefeld. Strongly typed genetic programming in evolving cooperation strategies. In L. Eshelman, editor, Genetic Algorithms: Proceedings of the Sixth International Conference (ICGA95), pages 271--278, Pittsburgh, PA, USA, 15-19 1995. Morgan Kaufmann."},{"key":"e_1_3_2_1_8_1","first-page":"479","volume-title":"The formulae-as-type notion of construction","author":"Howard W. A.","year":"1969","unstructured":"W. A. Howard . The formulae-as-type notion of construction , 1969 . In To H. B. Curry: Essays in Combinatory Logic, Lambda Calculus, and Formalism, pages 479 -- 490 . Academic Press , 1980. W. A. Howard. The formulae-as-type notion of construction, 1969. In To H. B. Curry: Essays in Combinatory Logic, Lambda Calculus, and Formalism, pages 479--490. Academic Press, 1980."},{"key":"e_1_3_2_1_9_1","volume-title":"Proofs and Types","author":"L.","year":"1997","unstructured":"L. J.Y. Girard and Taylor . Proofs and Types . Cambridge University Press. , 1997 . L. J.Y. Girard and Taylor. Proofs and Types. Cambridge University Press., 1997."},{"key":"e_1_3_2_1_10_1","volume-title":"Genetic Programming: On the Programming of Computers by Means of Natural Selection","author":"Koza J. R.","year":"1992","unstructured":"J. R. Koza . Genetic Programming: On the Programming of Computers by Means of Natural Selection . MIT Press , Cambridge, MA, USA , 1992 . J. R. Koza. Genetic Programming: On the Programming of Computers by Means of Natural Selection. MIT Press, Cambridge, MA, USA, 1992."},{"key":"e_1_3_2_1_11_1","first-page":"203","volume-title":"B. Soucek and the","author":"Koza J. R.","year":"1992","unstructured":"J. R. Koza . The genetic programming paradigm: Genetically breeding populations of computer programs to solve problems . In B. Soucek and the IRIS Group, editors, Dynamic, Genetic, and Chaotic Programming, pages 203 -- 321 . John Wiley , New York, 1992 . J. R. Koza. The genetic programming paradigm: Genetically breeding populations of computer programs to solve problems. In B. Soucek and the IRIS Group, editors, Dynamic, Genetic, and Chaotic Programming, pages 203--321. John Wiley, New York, 1992."},{"key":"e_1_3_2_1_12_1","volume-title":"Genetic programming version 2. Submitted for inclusion in the Encyclopaedia of Computer Science and Technology","author":"Koza J. R.","year":"1997","unstructured":"J. R. Koza . Genetic programming version 2. Submitted for inclusion in the Encyclopaedia of Computer Science and Technology , 1997 . J. R. Koza. Genetic programming version 2. Submitted for inclusion in the Encyclopaedia of Computer Science and Technology, 1997."},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1162\/evco.1995.3.2.199"},{"key":"e_1_3_2_1_14_1","series-title":"LNCS","first-page":"408","volume-title":"Colloque sur la Programmation","author":"Reynolds J. C.","year":"1974","unstructured":"J. C. Reynolds . Towards a theory of type structure . In Colloque sur la Programmation , volume 19 of LNCS , pages 408 -- 425 . Springer-Verlag , 1974 . J. C. Reynolds. Towards a theory of type structure. In Colloque sur la Programmation, volume 19 of LNCS, pages 408--425. Springer-Verlag, 1974."},{"key":"e_1_3_2_1_15_1","first-page":"230","article-title":"On computable numbers, with an application to the Entscheidungsproblem","volume":"42","author":"Turing A. M.","year":"1936","unstructured":"A. M. Turing . On computable numbers, with an application to the Entscheidungsproblem . Proceedings of the London Mathematical Society , 42 : 230 -- 265 , 1936 . A. M. Turing. On computable numbers, with an application to the Entscheidungsproblem. Proceedings of the London Mathematical Society, 42:230--265, 1936.","journal-title":"Proceedings of the London Mathematical Society"},{"key":"e_1_3_2_1_16_1","first-page":"422","volume-title":"Genetic Programming 1998: Proceedings of the Third Annual Conference","author":"Yu T.","year":"1998","unstructured":"T. Yu and C. Clack . Recursion, lambda abstractions and genetic programming . In J. R. Koza, W. Banzhaf, K. Chellapilla, K. Deb, M. Dorigo, D. B. Fogel, M. H. Garzon, D. E. Goldberg, H. Iba, and R. Riolo, editors, Genetic Programming 1998: Proceedings of the Third Annual Conference , pages 422 -- 431 , University of Wisconsin, Madison, Wisconsin, USA , 22-25 July 1998 . Morgan Kaufmann . T. Yu and C. Clack. Recursion, lambda abstractions and genetic programming. In J. R. Koza, W. Banzhaf, K. Chellapilla, K. Deb, M. Dorigo, D. B. Fogel, M. H. Garzon, D. E. Goldberg, H. Iba, and R. Riolo, editors, Genetic Programming 1998: Proceedings of the Third Annual Conference, pages 422--431, University of Wisconsin, Madison, Wisconsin, USA, 22-25 July 1998. Morgan Kaufmann."}],"event":{"name":"GECCO08: Genetic and Evolutionary Computation Conference","location":"Atlanta GA USA","acronym":"GECCO08","sponsor":["SIGEVO ACM Special Interest Group on Genetic and Evolutionary Computation","ACM Association for Computing Machinery"]},"container-title":["Proceedings of the 10th annual conference on Genetic and evolutionary computation"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1389095.1389330","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/1389095.1389330","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T13:56:37Z","timestamp":1750254997000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1389095.1389330"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2008,7,12]]},"references-count":16,"alternative-id":["10.1145\/1389095.1389330","10.1145\/1389095"],"URL":"https:\/\/doi.org\/10.1145\/1389095.1389330","relation":{},"subject":[],"published":{"date-parts":[[2008,7,12]]},"assertion":[{"value":"2008-07-12","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}