Free variables and bound variables - Document - PDFSEARCH.IO

First Page		Document Content
Date: 2002-04-28 16:23:58 Declarative programming Combinatory logic Lazy evaluation Anonymous function Fold Apply Free variables and bound variables Function Curry Software engineering Computing Lambda calculus		Add to Reading List Source URL: www.cs.columbia.edu Download Document from Source Website File Size: 56,96 KB Share Document on Facebook

	Preserving Sharing in the Partial Evaluation of Lazy Functional Programs? Sebastian Fischer1 , Josep Silva2 , Salvador Tamarit2 , and Germ´an Vidal2 1 2 DocID: 1t2L1 - View Document
	Lazy Call-By-Value Evaluation ∗ Bernd Braßel Sebastian Fischer Michael Hanus Frank Huch Institute of Computer Science, CAU Kiel, Germany. DocID: 1sQul - View Document
	02157 Functional Programming - Sequences DocID: 1rsIU - View Document
	From Stack Traces to Lazy Rewriting Sequences Stephen Chang1 , Eli Barzilay1 , John Clements2 , and Matthias Felleisen1 1 2 DocID: 1rfUD - View Document
	Lazy Query Evaluation for Active XML∗ Serge Abiteboul Omar Benjelloun Bogdan Cautis DocID: 1qT9R - View Document