18. ICFP 2013: Boston, MA, USA

Keynote 1

Verification with grammars and automata

Data parallelism

Dependent types

Fun in the afternoon

Handling effects

Keynote 2

Concurrency

(Co-)Recursion

Functional reactive programming

Lambda-calculus

Monads

Modular meta-theory

Experience reports

Program logics

Language design

Analysis and optimization

maintained by Schloss Dagstuhl LZI at University of Trier