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)