PLPV 2007: Freiburg, Germany

• Claude Marché:
  Jessie: an intermediate language for Java and C verification. 1-2
  

Monads, refinement

• Jeremy E. Dawson:
  Compound monads in specification languages. 3-10
  
• Adam Megacz:
  A coinductive monad for prop-bounded recursion. 11-20
  
• Joshua Dunfield:
  Refined typechecking with Stardust. 21-32
  

Low-level types, dependence

• Stefan Monnier:
  The swiss coercion. 33-40
  
• Rui Shi:
  Implementing reliable Linux device drivers in ATS. 41-46
  
• Nicolas Oury:
  Pattern matching coverage checking with dependent types using set approximations. 47-56
  

Equality, panel

• Thorsten Altenkirch, Conor McBride, Wouter Swierstra:
  Observational equality, now! 57-68