<--- Back to Details
First PageDocument Content
Declarative programming / Combinatory logic / Lazy evaluation / Anonymous function / Fold / Apply / Free variables and bound variables / Function / Curry / Software engineering / Computing / Lambda calculus
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

Similar Documents

Software engineering / Declarative programming / Computing / Functional programming / Programming paradigms / Evaluation strategy / Functional reactive programming / Digital signal processing / Formal methods / Arrow / International Conference on Functional Programming / Signal

Declarative Game Programming Distilled Tutorial Henrik Nilsson Ivan Perez

DocID: 1xVd0 - View Document

Declarative and Logic Programming Mooly Sagiv Adapted from Peter Hawkins Jeff Ullman (Stanford) Why declarative programming

DocID: 1t69T - View Document

Introduction Grapefruit in detail Declarative Programming of Interactive Systems with Grapefruit Wolfgang Jeltsch

DocID: 1t583 - View Document

Chapter 14 Improving Push-based FRP Wolfgang Jeltsch1 Category: Research Abstract: Push-based implementations of Functional Reactive Programming allow for writing reactive programs in a declarative style and execute the

DocID: 1t1D0 - View Document

Declarative Dynamic Programming as an Alternative Realization of Courcelle’s Theorem Bernhard Bliem, Reinhard Pichler, and Stefan Woltran Institute of Information Systems, Vienna University of Technology {bliem, pichle

DocID: 1sWoH - View Document