PLPV 2010: Madrid, Spain

Session 1

• Stefan Monnier, David Haguenauer:
  Singleton types here, singleton types there, singleton types everywhere. 1-8
  
• Matthew Danish, Hongwei Xi:
  Operating system development with ATS: work in progress. 9-14
  

Session 3

• Stephanie Weirich, Chris Casinghino:
  Arity-generic datatype-generic programming. 15-26
  

Session 2

• Aaron Stump, Evan Austin:
  Resource typing in Guru. 27-38
  
• Jan Christiansen, Daniel Seidel, Janis Voigtländer:
  Free theorems for functional logic programs. 39-48
  

Session 1

• Stephanie Balzer, Thomas R. Gross:
  Modular reasoning about invariants over shared state with interposed data members. 49-56
  

Session 3

• Tomás Kalibera, Pavel Parizek, Ghaith Haddad, Gary T. Leavens, Jan Vitek:
  Challenge benchmarks for verification of real-time programs. 57-62