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

Source files [zipped]

This material is based upon work supported by the National Science Foundation under Grant No. 0702545 A Practical Dependently-Typed Functional Programming Language, and 0910786 TRELLYS. Any opinions, findings and conclusions or recomendations expressed in this material are those of the author(s) and do not necessarily reflect the views of the National Science Foundation (NSF).