9. FLOPS 2008: Ise, Japan

Invited Papers

Constraints I

Constructive Arithmetic

Dependent Types

Rewriting

Program Transformation

Logic and Lambda-Calculus

Types

Constraints II

Debugging