What it is

Conferences (related with Declarative Programming) Papers

Getting Started

Some introductory lecture notes about declarative programming in general.

Foundations of Declarative Programming, Functional Programming, Logic programming

Advanced Topics and Applications

Multiparadigm

It would be great to effectively integrate the declarative paradigm with the object-oriented and imperative ones; various approaches have been followed in this sense.

Specific declarative programming languages (some ...)

The Alma Project
The Alma project aims at a realization of a strongly typed constraint programming language that combines the advantages of logic and imperative programming. At this stage the first layer, Alma-0, is available. Alma-0 extends a subset of Modula-2 by features that facilitate writing programs that involve search.


Singleton

Singleton is a set-based declarative language that combines valuable features of constraint programming (nondeterminism, unification, constraint solving, dynamic data structures) with familiar features of conventional programming languages (procedures and parameter passing, deterministic control structures, iterative constructs).

Others


Software

Mozart - Oz
http://www.mozart-oz.org/
A book based on Oz: http://www.info.ucl.ac.be/people/PVR/book.html

Mercury
http://www.cs.mu.oz.au/research/mercury/

Haskell
http://www.haskell.org/
a brief overview - http://web.media.mit.edu/~tpminka/PLE/haskell/haskell.html

Erlang

http://www.erlang.org)
(note) http://c2.com/cgi/wiki?ErlangLanguage

Escher
http://www.cs.bris.ac.uk/~jwl/escher.html
Declarative Programming in Escher (paper)
http://www.cs.bris.ac.uk/Tools/Reports/Abstracts/1995-lloyd.html


Teaching