Dateline

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 22
Mon
 Introduction;
 OCaml I: basic data, let
(0 - Install OCaml)
 
Jan 24
Wed
 OCaml II: patterns, functions, lists
1 - OCaml
 
Jan 29
Mon
 OCaml III: higher-order functions
 
 
Jan 31
Wed
 OCaml IV: higher-order functions, variants
 
 
Feb 5
Mon
 OCaml V: trees, records, effects, modules
2 - OCaml
1
Feb 7
Wed
 Operational Semantics I: Logic
 
 
Feb 12
Mon
 Opsem II: Fb Syntax, Semantics
 
 
Feb 14
Wed
 Opsem III: Fb Semantics, Interpreter
3 - Fb Opsem
2
Feb 19
Mon
 Opsem IV: Fb Programming
4 - Fb Interpreter
 
Feb 21
Wed
 Opsem V: The Y Combinator
 
3
Feb 26
Mon
 Operational Equivalence
 
 
Feb 28
Wed
 Tuples (FbP), Records (FbR), Variants (FbV)
 
4p1 (4p2 Sun)
Mar 4
Mon
 State (FbS)
5 - Y/Opeq/Records/Variants
 
Mar 6
Wed
 Exceptions (FbX)
 
 
Mar 11
Mon
 Objects (FbOB)
 
5 (Tues)
Mar 13
Wed
 Midterm review session
 
Midterm (Fri)
Mar 18-22
 
Spring Break
Mar 25
Mon
 Concurrency I (AFbV)
6 - State/Exceptions/Objects
 
Mar 27
Wed
 Concurrency II
 
 
Apr 1
Mon
AFbV coding
 
 
Apr 3
Wed
 Types I (TFb)
7 - Concurrency
6
Apr 8
Mon
 Types II: Implementing Type Checkers
 
Apr 10
Wed
 Types III: Subtyping (STFb)
8 A&B - Types (Fri)
7 (Fri)
Apr 15
Mon
 Types IV: Type Inference (EFb)
 
Apr 17
Wed
 Polymorphism; Special Topics I: Garbage collection
 
 
Apr 22
Mon
 Special Topics II: Rust/Java
 
8A
Apr 24
Wed
Lecture Recap Day
 
8B (next Mon)
May TBA
TBA
Final Review Session, 5-6 PM
 
 
May 14, 2-5PM
Tues
Final Exam
Study Guide