Dateline

Lecture material is under the links; lectures with no such link will be based on the book. Assignments are under the links; the links will be dead until the assignment is put up.

Day
Date
 Lecture
Assignment out
Assignment due
Jan 28
Mon
 
 
Jan 30
Wed
 
 
Feb 4
Mon
 
Feb 6
Wed
 
 
Feb 11
Mon
1
Feb 13
Wed
 Operational Semantics I: Logic
 
 
Feb 18
Mon
 Opsem II: Fb Syntax, Semantics
 
 
Feb 20
Wed
 Opsem III: Fb Semantics, Interpreter
2
Feb 25
Mon
 Opsem IV: The Y Combinator
 
Feb 27
Wed
 Opsem V: Fb Programming; Tuples
 
3
Mar 5
Mon
 Records, Variants
 
 
Mar 6
Wed
 State
4
Mar 11
Mon
 Special Topics I (Garbage collection?)
 
 
Mar 13
Wed
 Special Topics II (Dynamic Languages?)
 
5 (Fri)
Mar 18-22
 
Spring Break
Mar 25
Mon
 Exceptions; Objects I
 
 
Mar 27
Wed
 Objects II
 
Apr 1
Mon
 Concurrency I
 
 
Apr 3
Wed
 Concurrency II
6
Apr 9
Mon
 Operational Equivalence
 
 
Apr 10
Wed
 Types I: TFb
7
Apr 15
Mon
 Types II: Implementing Type Checkers
 
 
Apr 17
Wed
 Types III: Subtyping
8
Apr 22
Mon
 Types IV: Type Inference
 
 
Apr 24
Wed
 Special Topics III
9
Apr 29
Mon
 Special Topics IV
 
 
May 1
Wed
 Exam Pre-Cram Session
 
10 (Fri)
May 7, 5:00-5:50PM
Tue
 Final Review, Shaffer 303 (unconfirmed)
 
May 9, 9-noon
Thu
 Final Exam, Shaffer 303 (unconfirmed)