17. ICFP 2012: Copenhagen, Denmark

Keynote address

Automated theorem proving

Types

Embedded languages

Programming with graphs and search

Ornaments, extraction, and semantics

Keynote address 2

Infinity

Analysis

Security

FP in biology

Parallelism

Keynote address 3

Curry-Howard and compatibility checking

DSL support

Compilers

Higher-order model checking and slicing

maintained by Schloss Dagstuhl LZI at University of Trier