Agda code for paper by Larry Diehl.
larrytheliquid / aaip11 Goto Github PK
View Code? Open in Web Editor NEWLaTeX source for paper "Verified Stack-Based Genetic Programming via Dependent Types".
Home Page: http://www.cogsys.wiai.uni-bamberg.de/aaip11/accepted/diehl.pdf