Declarative Programming 1991: Sasbachwalden, Germany

Languages and Semantics

Parallelism and Concurrency

Modules and Types

Implementation

Bird-Meertens Formalism (Squiggol)

Program Analysis

maintained by Schloss Dagstuhl LZI at University of Trier