10. FLOPS 2010: Sendai, Japan

Invited Talks

Types

Program Analysis and Transformation

Foundations

Logic Programming

Evaluation and Normalization

Term Rewriting

Parallelism and Control

a service of Schloss Dagstuhl - Leibniz Center for Informatics