7. FLOPS 2004: Nara, Japan

Invited Papers

Logic and Functional-Logic Programming

Applications

Program Analysis

Rewriting

Types and Modules

Logic and Semantics

Functional Programming

a service of Schloss Dagstuhl - Leibniz Center for Informatics