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/31/2025
MondayCourse overview -
Lecture04/02/2025
WednesdayLambda calculus -
Lecture04/04/2025
FridayLambda calculus, continued -
Assignment04/06/2025
SundayHW0: Lambda Calculus released -
Lecture04/07/2025
MondayLambda calculus, continued -
Lecture04/09/2025
WednesdayLambda calculus, continued -
Lecture04/11/2025
FridayLambda calculus, continued -
Assignment04/13/2025
SundayHW1: Haskell Crash Course released -
Lecture04/14/2025
MondayLambda calculus, continued -
Due04/15/2025 23:59
TuesdayHW0: Lambda Calculus due -
Lecture04/16/2025
WednesdayIntroduction to Haskell -
Lecture04/18/2025
FridayDatatypes and recursion -
Lecture04/21/2025
MondayDatatypes and recursion, continued -
Due04/22/2025 23:59
TuesdayHW1: Haskell Crash Course due -
Lecture04/23/2025
WednesdayDatatypes and recursion, continued -
Exam04/25/2025
FridayMidterm 1In class, closed book
1 double-sided “cheat sheet” allowed
Covers material from lectures 1-11
-
Assignment04/27/2025
SundayHW2: Random Art released -
Lecture04/28/2025
MondayDatatypes and recursion, continued -
Lecture04/30/2025
WednesdayDatatypes and recursion, continued -
Lecture05/02/2025
FridayHigher-order functions -
Assignment05/04/2025
SundayHW3: Environment-Passing Interpreters and Higher-Order Functions released -
Lecture05/05/2025
MondayHigher-order functions, continued -
Due05/06/2025 23:59
TuesdayHW2: Random Art due -
Lecture05/07/2025
WednesdayTypeclasses -
Lecture05/09/2025
FridayTypeclasses, continued -
Assignment05/11/2025
SundayHW4: Nano released -
Lecture05/12/2025
MondayEnvironments and closures -
Due05/13/2025 23:59
TuesdayHW3: Environment-Passing Interpreters and Higher-Order Functions due -
Lecture05/14/2025
WednesdayEnvironments and closures, continued -
Lecture05/16/2025
FridayEnvironments and closures, continued -
Lecture05/19/2025
MondayTypes, type inference, and polymorphism -
Due05/20/2025 23:59
TuesdayHW4: A Nano Interpreter due -
Lecture05/21/2025
WednesdayTypes, type inference, and polymorphism, continued -
Exam05/23/2025
FridayMidterm 2In class, closed book
1 double-sided “cheat sheet” allowed
Covers material from lectures 1-22
-
Assignment05/25/2025
SundayHW5: Types released -
Holiday05/26/2025
MondayMemorial Day -
Lecture05/28/2025
WednesdayTypes, type inference, and polymorphism, continued -
Lecture05/30/2025
FridayTypes, type inference, and polymorphism, continued -
Lecture06/02/2025
MondayTypes, type inference, and polymorphism, continued -
Lecture06/04/2025
WednesdayTypes, type inference, and polymorphism, continued -
Due06/05/2025 23:59
ThursdayHW5 due -
Lecture06/06/2025
FridayAsk me anything -
Exam06/10/2025 16:00
TuesdayFinalclosed book
1 double-sided “cheat sheet” allowed
Covers material from the entire course