8. FLOPS 2006: Fuji-Susono, Japan

Invited Papers

Data Types

FP Extensions

Type Theory

LP Extensions

Analysis

Contracts

Web and GUI

a service of Schloss Dagstuhl - Leibniz Center for Informatics