Category Theory for Program Construction by Calculation Lambert Meertens CWI, Amsterdam and Department of Computing Science, Utrecht University

First Page		Document Content
Date: 2012-08-03 13:27:17 Lambda calculus Theoretical computer science Mathematical logic Declarative programming Adjoint functors Anonymous function Type theory Lambda lifting		Category Theory for Program Construction by Calculation Lambert Meertens CWI, Amsterdam and Department of Computing Science, Utrecht University Add to Reading List Source URL: www.kestrel.edu Download Document from Source Website File Size: 467,39 KB Share Document on Facebook

	A theory of granular parthood based on qualitative cardinality and size measures Thomas BITTNER1,2,3,4 and Maureen DONNELLY1,3 1 Department of Philosophy, 2 Department of Geography 3 DocID: 1qtfQ - View Document
	c ACM, 2009. 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 the Haskell Sym DocID: 1psoj - View Document
	Microsoft PowerPoint - Lect14lecture_env3.ppt DocID: 1ph50 - View Document
	c ACM, 2009. 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 the Haskell Sym DocID: 1nbQ1 - View Document
	Control-Flow Analysis of Dynamic Languages via Pointer Analysis Steven Lyde William E. Byrd DocID: 1mhVW - View Document