16. ICFP 2011: Tokyo, Japan

Keynote

Monads

Monads and control

Continuations

Parametric polymorphism and subtyping

Functional computation

Keynote

Proof assistance

Implementation

Derivation and synthesis

Types

Distributed programming

Applications

Naming

Semantics

Program transformation

Imperative programming

Correctness