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 [Note] [Quiz]
 
 
Feb 3
Tue
OCaml V: trees, records, effects, modules
2 - OCaml
 
Feb 5
Thu
Syntax and Operational Semantics: BOOL [Note] [Quiz]
 
1 (Fri)
Feb 10
Tue
Syntax and Operational Semantics: Fb [Note]
3 - Fb Opsem
 
Feb 12
Thu
Operational Semantics: Functions and Combinators [Note] [Y-Combinator] [Quiz]
2 (Fri)
Feb 17
Tue
Operational Semantics: More Recursion [Note]
4 - Fb Interpreter
 
Feb 19
Thu
Implementing Interpreters [Note] [Quiz]
 
3 (Fri)
Feb 24
Tue
Operational Equivalence [Note] [Handout]
5 - Fb coding/Y/Opeq/Records/Variants
 
Feb 26
Thu
Encodings and Rewrites [Note] [Quiz]
 
4 (Fri)
Mar 3
Tue
Lists (FbL), Variants (FbV) and Records (FbR) [Note] [Handout]
 
 
Mar 5
Thu
States (FbS) [Note] [Quiz]
 
5 (Fri)
Mar 10
Tue
Midterm Review
 
Mar 12
Thu
Midterm (Study Guide)
6 - State/Exceptions/Objects
 
Mar 16-20
 
Spring Break
Mar 24
Tue
States (cont.) and Exceptions [Note]
 
 
Mar 26
Thu
Object Oriented Programming (OOP) [Note]
 
Mar 31
Tue
--
7 - Concurrency
 
Apr 2
Thu
Closures [Note]
 
6 (Fri)
Apr 7
Tue
Closures and Operational Semantics [Note]
 
 
Apr 9
Thu
Concurrency I [Note]
8 - Types
 
Apr 14
Tue
Concurrency II [Note]
 
 
Apr 16
Thu
Type Systems I
 
7 (Fri)
Apr 21
Tue
Type Systems II
 
 
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