- author = "Alcides Fonseca",
- title = "Bridging Genetic Programming and Type Theory Research",
- booktitle = "Genetic Programming Theory and Practice XXII",
- year = "2025",
- editor = "Bogdan Burlacu and Fabricio {Olivetti de Franca} and Alexander Lalejini and Stephen Kelly and Wolfgang Banzhaf",
- series = "Genetic and Evolutionary Computation",
- pages = "127--143",
- address = "Michigan State University, USA",
- month = jun # " 5-7",
- publisher = "Springer",
- keywords = "genetic algorithms, genetic programming",
- isbn13 = "978-981-95-6397-5",
-
DOI = "
10.1007/978-981-95-6398-2_7",
- abstract = "Encoding domain constraints into fitness functions is a key concept in genetic programming. However, there are different moments in which the encoding can constrain the search process: at the language level, via grammar constriction; at the level of program generation, via a modified grammar sampling; at the level of invalid individual discarding or fixing level; and at the fitness function level, incorporating constraint violations as fitness penalties. This chapter defines a general model for constraints in GP that supports all these moments and provides examples based on grammars and type systems. It also proposes combinations of constraints that have not yet been explored, such as Linear, Affine, or Session Types in genetic programming.",
-
notes = "lightning talk.
published in 2026 after the workshop",
