PLPV 2007: Freiburg, Germany

Monads, refinement

Low-level types, dependence

Equality, panel