Generic programming with Dependent Types

Stephanie Weirich

University of Pennsylvania

Spring School on Generic and Indexed Programming

Wadham College, Oxford

March 24-26, 2010

---

Lecture Slides

•   Part I: Generic Programming in Agda
  
•   Part II: Kind-indexed generic programming
•   Part III: Arity-generic programming

Source files [zipped]

• main.agda
• gh.agda
• aritygen.agda
• nmap.agda