PPDP 2009: Coimbra, Portugal

Functional programming

Integration of paradigms

Reasoning systems

Expressive logics

Logic programming

Concurrency

Distribution

Constraints

Types

a service of Schloss Dagstuhl - Leibniz Center for Informatics