Peek and Poke with Dependent Types

• Thomas Hallgren
• Programatica meeting talk, January 27, 2006