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