Schedule
This schedule is subject to change, and it is neither sound (that is, if a particular topic is listed here, that doesn’t mean we’ll cover it!) nor complete (that is, if a particular topic is not listed here, that doesn’t mean we won’t cover it!).
-
EventDateDescriptionNotes
-
Lecture03/30/2026
MondayCourse overview -
Lecture04/01/2026
WednesdayLambda calculus -
Lecture04/03/2026
FridayLambda calculus, continued -
Assignment04/05/2026
SundayHW0: Lambda Calculus released -
Lecture04/06/2026
MondayLambda calculus, continued -
Lecture04/08/2026
WednesdayLambda calculus, continued -
Lecture04/10/2026
FridayLambda calculus, continued -
Assignment04/12/2026
SundayHW1: Haskell Crash Course released -
Lecture04/13/2026
MondayLambda calculus, continued -
Lecture04/15/2026
WednesdayIntroduction to Haskell -
Lecture04/17/2026
FridayIntroduction to Haskell, continued -
Due04/18/2026 23:59
SaturdayHW0: Lambda Calculus due -
Assignment04/19/2026
SundayHW2: Tail Recursion and Random Art released -
Lecture04/20/2026
MondayDatatypes and recursion -
Lecture04/22/2026
WednesdayDatatypes and recursion, continued -
Lecture04/24/2026
FridayDatatypes and recursion, continued -
Due04/25/2026 23:59
SaturdayHW1: Haskell Crash Course due -
Exam04/27/2026
MondayMidterm 1In class, closed book
1 double-sided “cheat sheet” allowed
Covers all material from weeks 1-4
-
Lecture04/29/2026
WednesdayDatatypes and recursion, continued -
Lecture05/01/2026
FridayHigher-order functions -
Assignment05/03/2026
SundayHW3: Environment-Passing Interpreters and Higher-Order Functions released -
Lecture05/04/2026
MondayHigher-order functions, continued -
Lecture05/06/2026
WednesdayTypeclasses -
Lecture05/08/2026
FridayTypeclasses, continued -
Due05/09/2026 23:59
SaturdayHW2: Tail Recursion and Random Art due -
Assignment05/10/2026
SundayHW4: A Nano Interpreter released -
Lecture05/11/2026
MondayEnvironments and closures -
Lecture05/13/2026
WednesdayEnvironments and closures, continued -
Lecture05/15/2026
FridayEnvironments and closures, continued -
Due05/16/2026 23:59
SaturdayHW3: Environment-Passing Interpreters and Higher-Order Functions due -
Exam05/18/2026
MondayMidterm 2In class, closed book
1 double-sided “cheat sheet” allowed
Covers all material from weeks 1-7
-
Lecture05/20/2026
WednesdayTypes, type inference, and polymorphism -
Lecture05/22/2026
FridayTypes, type inference, and polymorphism, continued -
Assignment05/24/2026
SundayHW5: Type Inference and Constraint Solving released -
Holiday05/25/2026
MondayMemorial Day -
Lecture05/27/2026
WednesdayTypes, type inference, and polymorphism, continued -
Lecture05/29/2026
FridayTypes, type inference, and polymorphism, continued -
Due05/30/2026 23:59
SaturdayHW4: A Nano Interpreter due -
Lecture06/01/2026
MondayTypes, type inference, and polymorphism, continued -
Lecture06/03/2026
WednesdayTypes, type inference, and polymorphism, continued -
Lecture06/05/2026
FridayAsk me anything -
Due06/06/2026 23:59
SaturdayHW5: Type Inference and Constraint Solving due -
Exam06/09/2026 16:00
TuesdayFinalclosed book
1 double-sided “cheat sheet” allowed
Covers material from the entire course
