PEPM 2008: San Francisco, California, USA

Program transformation and derivation

Verification and synthesis

Program optimization

Parsing

Program manipulation and staging

Partial evaluation

Functional programming languages

maintained by Schloss Dagstuhl LZI at University of Trier