19. ICFP 2014: Gothenburg, Sweden

Keynote 1

Domain specific languages I

Static analysis

Binding structure

Program optimisation

Context dependence

Keynote 2

Contracts & scheme

Tools used in anger

Type systems

Incremental computing

Keynote 3

Homotopy type theory

Abstract interpretation

Dependent types

Domain specific languages II

Abstract machines

maintained by Schloss Dagstuhl LZI at University of Trier