Dependability through Dependent Types

(or Peek and Poke with Dependent Types)

Thomas Hallgren

SICS, 2008-10-21

(based on a ProgLog meeting talk, Chalmers, December 2006)