Lecture materials
Lecture videos are available on YuJa and are usually posted within two hours of the end of class.
On this page, you can find my live notes and code from class, which I’ll usually post within a day (and often the same day).
I’m not big on using slides when I teach, but if I do use slides, I’ll share them here. If you like slides, feel free to look at the slides from other recent offerings of the course, since the material I cover in my lectures will be very similar.
-
-
Lambda calculus
[Lecture 2 live notes] [Lecture 2 live code] [Lecture 3 live notes] [Lecture 3 live code] [Lecture 4 live notes] [Lecture 4 live code] [Lecture 5 live code]
-
-
-
-
-
Midterm review
[Lecture 11 live notes] [Lecture 11 live code (Haskell)] [Lecture 11 live code (Elsa)]
-
-
Guest lecture (cancelled)
-
Polymorphism and type inference
[Lecture 15 live notes] [Lecture 16 live notes] [Lecture 17 live notes]
-
Final review