Higher-Order and Symbolic Computation manuscript No. (will be inserted by the editor) A verified framework for higher-order uncurrying optimizations Zaynah Dargaye · Xavier Leroy - De Bruijn index - Document - PDFSEARCH.IO

First Page		Document Content
Date: 2009-12-15 04:00:36 Mathematics Functional programming Functions and mappings Currying Partial application Symbol Function Combinatory logic De Bruijn index Declarative programming Lambda calculus Software engineering		Higher-Order and Symbolic Computation manuscript No. (will be inserted by the editor) A verified framework for higher-order uncurrying optimizations Zaynah Dargaye · Xavier Leroy Add to Reading List Source URL: pauillac.inria.fr Download Document from Source Website File Size: 255,20 KB Share Document on Facebook

	135 Documenta Math. Erratum to the paper “Absolute Continuity of the Spectrum DocID: 1pRNp - View Document
	Self-applicable Partial Evaluation for Pure Lambda Calculus Torben Æ. Mogensen DIKU, University of Copenhagen, Denmark Abstract DocID: 1oZ9H - View Document
	Exercise sheet High Throughput Sequencing Methods Bioinformatics Leipzig WS 13/14 Exercise sheet DocID: 1fZS8 - View Document
	BRICS RS-05-4 Filinski & Rohde: Denotational Aspects of Untyped Normalization by Evaluation BRICS Basic Research in Computer Science DocID: 1fMbR - View Document
	Closing the Stage From Staged Code to Typed Closures Yukiyoshi Kameyama Oleg Kiselyov DocID: 1aOQt - View Document