8. FLOPS 2006: Fuji-Susono, Japan

Invited Papers

Data Types

FP Extensions

Type Theory

LP Extensions

Analysis

Contracts

Web and GUI

maintained by Schloss Dagstuhl LZI at University of Trier