Introduction to Computing: Explorations in Language, Logic, and Machines

First Page		Document Content
Date: 2011-08-19 11:52:51 Computability theory Recursion Theoretical computer science Theory of computation Programming idioms Function Algorithm Scheme Tail call Software engineering Computer programming Mathematics		Introduction to Computing: Explorations in Language, Logic, and Machines Add to Reading List Source URL: www.computingbook.org Download Document from Source Website File Size: 1,07 MB Share Document on Facebook

	Foundational Extensible Corecursion A Proof Assistant Perspective Jasmin Christian Blanchette Andrei Popescu DocID: 1qD8k - View Document
	02157 Functional Programming - Lecture 8: Tail recursive erativeunctions DocID: 1qjoG - View Document
	waside-optimized-code.dvi DocID: 1qdOK - View Document
	Representing Control in the Presence of First-Class Continuations ∗ Robert Hieb, R. Kent Dybvig, Carl Bruggeman Indiana University DocID: 1q8yk - View Document
	Computing Fundamentals Salvatore Filippone 2012–2013 DocID: 1q0RA - View Document