- author = "Franck Binard and Amy Felty",
- title = "Genetic Programming with Polymorphic Types and Higher-Order Functions",
- booktitle = "GECCO '08: Proceedings of the 10th annual conference on Genetic and evolutionary computation",
- year = "2008",
- editor = "Maarten Keijzer and Giuliano Antoniol and Clare Bates Congdon and Kalyanmoy Deb and Benjamin Doerr and Nikolaus Hansen and John H. Holmes and Gregory S. Hornby and Daniel Howard and James Kennedy and Sanjeev Kumar and Fernando G. Lobo and Julian Francis Miller and Jason Moore and Frank Neumann and Martin Pelikan and Jordan Pollack and Kumara Sastry and Kenneth Stanley and Adrian Stoica and El-Ghazali Talbi and Ingo Wegener",
- pages = "1187--1194",
- address = "Atlanta, GA, USA",
- publisher = "ACM",
- publisher_address = "New York, NY, USA",
- month = "12-16 " # jul,
- keywords = "genetic algorithms, genetic programming, lambda calculus, polymorphism, types",
- isbn13 = "978-1-60558-130-9",
-
URL = "
http://gpbib.cs.ucl.ac.uk/gecco2008/docs/p1187.pdf",
-
DOI = "
10.1145/1389095.1389330",
- size = "8 pages",
- abstract = "we introduce our new approach to program representation for genetic programming (GP). We replace the usual s-expression representation scheme by a strongly-typed abstraction-based representation scheme. This allows us to represent many typical computational structures by abstractions rather than by functions defined in the GP system terminal set. The result is a generic GP system that is able to express programming structures such as recursion and data types without explicit definitions. We demonstrate the expressive power of this approach by evolving simple Boolean programs without defining a set of terminals. We also evolve programs that exhibit recursive behaviour without explicitly defining recursion specific syntax in the terminal set. we present our approach and experimental results.",
-
notes = "System-F
GECCO-2008 A joint meeting of the seventeenth international conference on genetic algorithms (ICGA-2008) and the thirteenth annual genetic programming conference (GP-2008).
ACM Order Number 910081. Also known as \cite{1389330}",
