Proofs and types
Genetic programming: on the programming of computers by means of natural selection
Genetic programming: on the programming of computers by means of natural selection
Handbook of logic in computer science (vol. 2)
Strongly Typed Genetic Programming in Evolving Cooperation Strategies
Proceedings of the 6th International Conference on Genetic Algorithms
Towards a theory of type structure
Programming Symposium, Proceedings Colloque sur la Programmation
Performance-Enhanced Genetic Programming
EP '97 Proceedings of the 6th International Conference on Evolutionary Programming VI
Strongly typed genetic programming
Evolutionary Computation
Genetic programming with polymorphic types and higher-order functions
Proceedings of the 10th annual conference on Genetic and evolutionary computation
Hi-index | 0.00 |
We extend tree-based typed Genetic Programming (GP) representation schemes by introducing System F, an expressive λ-calculus, for representing programs and types. At the level of programs, System F provides higher-order programming capabilities with functions and types as first-class objects, e.g., functions can take other functions and types as parameters. At the level of types, System F provides parametric polymorphism. The expressiveness of the system provides the potential for a genetic programming system to evolve looping, recursion, lists, trees and many other typical programming structures and behavior. This is done without introducing additional external symbols in the set of predefined functions and terminals of the system. In fact, we actually remove programming structures such as if/then/else, which we replace by two abstraction operators. We also change the composition of parse trees so that they may directly include types.