10. FLOPS 2010: Sendai, Japan

Invited Talks

Types

Program Analysis and Transformation

Foundations

Logic Programming

Evaluation and Normalization

Term Rewriting

Parallelism and Control