Peek and Poke with Dependent Types
Thomas Hallgren
ProgLog meeting talk 2006-12-13
(based on a Programatica meeting talk, January 2006)