Declarative Programming 1991: Sasbachwalden, Germany

Languages and Semantics

Parallelism and Concurrency

Modules and Types

Implementation

Bird-Meertens Formalism (Squiggol)

Program Analysis