9. FLOPS 2008: Ise, Japan

Refine list

showing all ?? records

Invited Papers

Constraints I

Constructive Arithmetic

Dependent Types

Rewriting

Program Transformation

Logic and Lambda-Calculus

Types

Constraints II

Debugging

a service of  Schloss Dagstuhl - Leibniz Center for Informatics