Functional Genetic Programming and Exhaustive Program Search with Combinator Expressions Forrest Briggs <> Melissa O’Neill <> August 19, 2007

First Page		Document Content
Date: 2007-08-19 16:32:34 Type theory Lambda calculus Procedural programming languages Logic in computer science Theoretical computer science Combinatory logic Curry–Howard correspondence Anonymous function Expression Software engineering Programming language theory Computing		Functional Genetic Programming and Exhaustive Program Search with Combinator Expressions Forrest Briggs <> Melissa O’Neill <> August 19, 2007 Add to Reading List Source URL: www.cs.hmc.edu Download Document from Source Website File Size: 475,91 KB Share Document on Facebook

	The Julia Express Bogumił Kaminski ´ January 4, 2015 Contents DocID: 1rtHJ - View Document
	Project 5 - The Meta-Circular Evaluator DocID: 1rtvP - View Document
	Revised5 Report on the Algorithmic Language Scheme RICHARD H. ABELSON N. I. ADAMS IV D. H. BARTLEY DocID: 1rf2e - View Document
	Microsoft PowerPoint - Lect02Scheme.ppt DocID: 1reMy - View Document
	PLDI: U: Type Assisted Synthesis of Recursive Transformers on Algebraic Datatypes Jeevana Priya Inala MIT Advisor: Armando Solar-Lezama DocID: 1rduU - View Document