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
Snow Day
2
Feb 25
Mon
 Opsem III: Fb Semantics, Interpreter
 
Feb 27
Wed
 Opsem IV: Fb Programming
 
3
Mar 5
Mon
 Opsem V: The Y Combinator
 
 
Mar 6
Wed
 Tuples, Records, Variants
4
Mar 11
Mon
 State
 
 
Mar 13
Wed
 Midterm Exam
 
 
Mar 18-22
 
Spring Break
Mar 25
Mon
 Exceptions
 
 
Mar 27
Wed
 Objects
5
Apr 1
Mon
 Concurrency I
 
 
Apr 3
Wed
 Concurrency II
6
Apr 8
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 I
9
Apr 29
Mon
 Special Topics II
 
 
May 1
Wed
 Exam Pre-Cram Session
 
10 (Fri)
May 9, 5:00-5:50PM
Thurs
 Final Review, Shaffer 304 (now confirmed)
 
May 11, 2-5PM
Sat
 Final Exam, Shaffer 304