Declarative Programming 1991: Sasbachwalden, Germany

Languages and Semantics

Parallelism and Concurrency

Modules and Types

Implementation

Bird-Meertens Formalism (Squiggol)

Program Analysis

a service of Schloss Dagstuhl - Leibniz Center for Informatics