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: Recursion and Higher-order functions (2 lectures) [ big pdf | small pdf | code ]

E: Environments and Closures (1 lecture) [ big pdf | small pdf ]

F: Datatypes vs Object Oriented Representations (0.5 lectures) [ code ]

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 ]

Midterm Review (0.5 lectures) [ 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 ]

Final Review Session (1 lecture) [code]