COMP 321: Principles of Programming Languages

Schedule of Lectures

Num Day Date Topics Covered Notes and PFPL Chapters/Sections
1 W 08 Sep Overview, Operational Semantics board, 5.1, 5.2, 6.2
2 F 10 Sep Lambda calculus board, 21
3 W 15 Sep Type systems, Progress board, 6
4 F 17 Sep Rule induction, Preservation board, 2, 6
5 W 22 Sep Function types
6 F 24 Sep Godel's T
7 W 29 Sep Product types
8 F 1 Oct Sum types
9 W 6 Oct Recursion
10 F 8 Oct Recursive types
11 W 13 Sep Recursion from recursive types
12 F 15 Oct Stack machines
13 W 20 Oct Exceptions
14 F 22 Oct Take-home Midterm due
15 W 27 Oct Continuations
16 F 29 Oct Dynamic Typing
17 W 3 Nov Gradual Typing
18 F 5 Nov Gradual Typing
19 W 10 Nov Polymorphism
20 F 12 Nov Abstract types and representation independence
21 W 17 Nov Subtyping
22 F 19 Nov Classes and Methods
Nov 24-28 No class, Thanksgiving
23 W 30 Nov State
24 F 3 Dec State
25 W 8 Dec Concurrency
26 F 10 Dec Concurrency
Our final exam time Take-home final due