7. FLOPS 2004: Nara, Japan

Invited Papers

Logic and Functional-Logic Programming

Applications

Program Analysis

Rewriting

Types and Modules

Logic and Semantics

Functional Programming