Syntactic Proofs of Compositional Compiler Correctness Adam Chlipala

First Page		Document Content
Date: 2009-10-04 10:53:34 Lambda calculus Model theory Combinatory logic Fixed-point combinator Recursion Natural deduction Structure Formal language Mathematics Mathematical logic Theoretical computer science		Syntactic Proofs of Compositional Compiler Correctness Adam Chlipala Add to Reading List Source URL: adam.chlipala.net Download Document from Source Website File Size: 173,43 KB Share Document on Facebook

	Problem Solving, Programming, and Calculation Björn Lisper School of Innovation, Design, and Engineering Mälardalen University http://www.idt.mdh.se/˜blr/ DocID: 1qLWC - View Document
	A Self-Hosting Evaluator using HOAS A Scheme Pearl Eli Barzilay Northeastern University DocID: 1pcZU - View Document
	Self-applicable Partial Evaluation for Pure Lambda Calculus Torben Æ. Mogensen DIKU, University of Copenhagen, Denmark Abstract DocID: 1oZ9H - View Document
	02157 Functional programming Michael R. Hansen DTU Informatics November 24, 2011 Revised October 21, 2013 DocID: 1oNH7 - View Document
	c ACM, 2010. This is the author’s version of the work. It is posted here by permission of ACM for your personal use. ° Not for redistribution. The definitive version was published in the Proceedings of ICFP 2010, ISBN DocID: 1oCsT - View Document