15. IFL 2003: Edinburgh, UK

Language Constructs and Programming

Static Analysis and Types

Paralelism