Functional Genetic Programming with Combinators

by Forrest Briggs , Melissa O’neill
Citations:3 - 0 self

Active Bibliography

Abstraction-Based Genetic Programming By – Franck J. L. Binard
Lambda-Calculus and Functional Programming – Jonathan P. Seldin
Bracket Abstraction Preserves Typability A formal proof of Diller–algorithm–C in PVS – Sjaak Smetsers, Arjen Van Weelden
M. H. Newman’s Typability Algorithm for Lambda-Calculus – J. Roger Hindley - 2006
46 Gradual typing for objects – Jeremy Siek, Walid Taha - 2007
5 Gradual Typing with Unification-based Inference – Jeremy G. Siek, Manish Vachharajani - 2008
64 Gradual Typing for Functional Languages – Jeremy G. Siek, Walid Taha - 2006
PRACTICAL TYPE INFERENCE FOR FIRST-CLASS POLYMORPHISM – Dimitrios Vytiniotis - 2008
23 The Impact of the Lambda Calculus in Logic and Computer Science – Henk Barendregt, Jon Barwise, Johan Van Benthem, Andreas Blass, Olivier Danvy, Pierre Lescanne, Hans Mooij, Robert Maron, Rinus Plasmeijer, Y Pollack - 1997
2 Why sets? – Andreas Blass, Yuri Gurevich - 2008
Reflection in Agda Paul van der Walt M.Sc. thesis ICA-3120805 – Supervisors Wouter Swierstra, Johan Jeuring - 2012
5 A COMBINATORY ACCOUNT OF INTERNAL STRUCTURE – Barry Jay, Thomas Given-wilson
Appendices – Caj Zz Tutoria, Walter Fontana, Leo W. Buss
Second Year Report: Syntactic and Semantic properties of useful – unknown authors - 2008
2 Using Attribute Grammars for the Genetic Selection of Backpropagation Networks for Character Recognition – Roger A. Browse, Talib S. Hussain, Matthew B. Smillie - 1999
3 Including Control Architecture in Attribute Grammar Specifications of Feedforward Neural Networks – Talib S. Hussain, Roger A. Browse - 1998
20 Logic-based Genetic Programming with Definite Clause Translation Grammars – Brian J. Ross - 2001
9 Evolving Fuzzy Decision Trees with Genetic Programming and Clustering – J. Eggermont - 2002
30 Computation and Deduction – Frank Pfenning - 2001