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

a service of Schloss Dagstuhl - Leibniz Center for Informatics