Dateline

Meeting time: Tuesdays and Thursdays, 3:00pm–4:15pm. First day: Jan 20 (Tue).

Lecture material and assigments are under the indicated links; lectures with no such link will be based on the book. Assignments are posted on the date indicated in the dateline below, clicking on the link will return an error before that date.

Day
Date
 Lecture
Assignment out
Assignment due
Jan 20
Tue
 Overview;
 OCaml I: basic data, let
(0 - Install OCaml)
 
Jan 22
Thu
 OCaml II: Functions
1 - OCaml
 
Jan 27
Tue
 OCaml III: Algebraic Data Types
 
 
Jan 29
Thu
 OCaml IV: Higher-Order Functions
 
 
Feb 3
Tue
 OCaml V: trees, records, effects, modules
2 - OCaml
 
Feb 5
Thu
 Operational Semantics I: Logic
 
1 (Fri)
Feb 10
Tue
 Opsem II: Fb Syntax, Semantics
3 - Fb Opsem
 
Feb 12
Thu
 Opsem III: Fb Semantics, Interpreter
 
2 (Fri)
Feb 17
Tue
 Opsem IV: Fb Programming
4 - Fb Interpreter
 
Feb 19
Thu
 Opsem V: The Y Combinator
 
3 (Fri)
Feb 24
Tue
 Operational Equivalence
5 - Fb coding/Y/Opeq/Records/Variants
 
Feb 26
Thu
 Tuples (FbP), Records (FbR), Variants (FbV)
 
4 (Fri)
Mar 3
Tue
 State (FbS)
 
 
Mar 5
Thu
 Exceptions (FbX)
 
5 (Fri)
Mar 10
Tue
Midterm (Study Guide)
6 - State/Exceptions/Objects
 
Mar 16-20
 
Spring Break
Mar 24
Tue
 Objects (FbOB)
 
 
Mar 26
Thu
 Concurrency I (AFbV)
 
6 (Fri)
Mar 31
Tue
 Concurrency II
7 - Concurrency
 
Apr 2
Thu
AFbV coding
 
 
Apr 7
Tue
 Types I (TFb)
 
 
Apr 9
Thu
 Types II: Implementing Type Checkers
8 - Types
 
Apr 14
Tue
 Types III: Subtyping (STFb)
 
 
Apr 16
Thu
 Types IV: Type Inference (EFb)
 
7 (Fri)
Apr 21
Tue
 Polymorphism; Special Topics I: Garbage collection
 
 
Apr 23
Thu
 Special Topics II: Rust/Java
 
8 (Fri)
TBD
TBD
 Final Exam Review Day
 
 
May 12, 6-9PM
Mon
Final Exam
Study Guide