A: Hello, world (1 lecture) [ big pdf | small pdf ]
B: ML Crash Course (1 lecture) [ big pdf | small pdf | code ]
C: Abstract Data Types (2 lectures) [ big pdf | small pdf | code ]
D: Expressions and Types (2 lectures) [ big pdf | small pdf ]
E: Recursion and Higher-order functions (2 lectures) [ big pdf | small pdf | code ]
Midterm Review (0.5 lectures) [ code ]
F: Datatypes vs Object Oriented Representations (0.5 lectures) -- postponed until later if time allows
G: Polymorphism & Type inference (1.5 lectures) -- postponed until later if time allows
H: Conclusion of OCaml. A crash course in Python (1 lecture) [ big pdf | small pdf | code ]
I: A crash course in Python (continued) (1 lecture) [ big pdf | small pdf | code ]
J: Objects in Python (1 lecture) [ big pdf | small pdf | code ]
K: Decorators (2 lectures) [ code ]
L: Prolog (2 lectures) [ pdf | code | Additional lecture material from other offerings: 1, 2 ]