This is the landing page for the Programming Languages Seminar (COMPSCI 691PL). The topic of the seminar varies for each offering.
Spring 2019: Type-driven development with Idris
Fall 2016: Reproducing recent research in programming languages
Spring 2014: Certified Programming with Dependent Types