1. ESOP 1986: Saarbrücken, Germany

Compilation

Optimized Language Implementation

Functional Programming Language Implementation

Functional Programming Languages

Semantics

Semantics and Abstract Data Types

Parallelism

Tools

Logic Programming

Term Rewriting

a service of Schloss Dagstuhl - Leibniz Center for Informatics