julien-lange/CO663-slides

Slides and exercises for CO663, based on Bob Harper's book: Practical Foundations for Programming Languages.

• slides: pdflatex main.tex (x3) should produce something decent!

• classes: each file is a main tex file