12. ICFP 2007: Freiburg, Germany

Semantic tools

Language design

Calculation, derivation, visualization

Control-flow analysis

Working with types

Testing and validation

Programming the web

Continuations

Concurrency and distribution

Functional programming and the masses

Mainstream problems

Analysis of Haskell and Haskell for analysis

Compilation

Modules

Efficient value constructors