PLPV 2007: Freiburg, Germany

Monads, refinement

Low-level types, dependence

Equality, panel

maintained by Schloss Dagstuhl LZI at University of Trier