12th ICFP 2007: Freiburg, Germany

Refine list

showing all ?? records

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

a service of  Schloss Dagstuhl - Leibniz Center for Informatics