<--- Back to Details
First PageDocument Content
Adjoint functors / Functional programming / Logic in computer science / Monad / Models of computation / Functor / Applicative programming language / Denotational semantics / Map / Declarative programming / Abstract algebra / Software engineering
Date: 2007-10-10 18:00:00
Adjoint functors
Functional programming
Logic in computer science
Monad
Models of computation
Functor
Applicative programming language
Denotational semantics
Map
Declarative programming
Abstract algebra
Software engineering

Under consideration for publication in J. Functional Programming 1

Add to Reading List

Source URL: strictlypositive.org

Download Document from Source Website

File Size: 198,21 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