Genetic Programming Bibliography entries for Adam Chlipala

up to index Created by W.Langdon from gp-bibliography.bib Revision:1.7954

GP coauthors/coeditors: Joel Kuepper, Andres Erbsen, Jason Gross, Owen Conoly, Chuyue (Livia) Sun, Samuel Tian, David Wu, Chitchanok Chuengsatiansup, Daniel Genkin, Markus Wagner, Yuval Yarom,

Genetic Programming conference papers by Adam Chlipala