DLS 2012: Tucson, AZ, USA

Semantics

Pattern-matching and object-orientation

Optimization and parallelism

Modularity

Schloss Dagstuhl LZI