Schedule

subject to change!

  • Event
    Date
    Description
    Course Material
  • Lecture
    09/29/2023
    Friday
    Course overview
  • Lecture
    10/02/2023
    Monday
    Lambda calculus
  • Lecture
    10/04/2023
    Wednesday
        continued
  • Lecture
    10/06/2023
    Friday
        continued
  • Lecture
    10/09/2023
    Monday
        continued
  • Lecture
    10/11/2023
    Wednesday
    Introduction to Haskell
  • Due
    10/11/2023 23:59
    Wednesday
    HW0: Lambda Calculus
  • Lecture
    10/13/2023
    Friday
    Datatypes and Recursion
  • Due
    10/15/2023 23:59
    Sunday
    HW1: Haskell
  • Lecture
    10/16/2023
    Monday
        D&R continued
  • Lecture
    10/18/2023
    Wednesday
        D&R continued
  • Lecture
    10/20/2023
    Friday
    Higher-order functions
  • Due
    10/22/2023 23:59
    Sunday
    HW2: Random Art
  • Lecture
    10/23/2023
    Monday
        Higher-order functions continued
  • Lecture
    10/25/2023
    Wednesday
    Midterm review
  • Exam
    10/27/2023
    Friday
    Midterm

    In class, closed book

    1 Double-sided “cheat sheet” allowed

    Covers material through “Higher-order functions”

    • See materials page for prior years’ exams.
  • Lecture
    10/30/2023
    Monday
    Environments and closures
  • Lecture
    11/01/2023
    Wednesday
        Environments continued
  • Lecture
    11/03/2023
    Friday
    Theorems about programs
  • Due
    11/05/2023 23:59
    Sunday
    HW3: All About Fold
  • Lecture
    11/06/2023
    Monday
        Theorems continued
  • Lecture
    11/08/2023
    Wednesday
        Theorems continued
  • Holiday
    11/10/2023
    Friday
    Veterans Day (Observed)
  • Lecture
    11/13/2023
    Monday
        Theorems continued
  • Lecture
    11/15/2023
    Wednesday
    Guest lecture: Gan Shen
  • Lecture
    11/17/2023
    Friday
    Polymorphism and type inference
  • Due
    11/19/2023 23:59
    Sunday
    HW4: Nano
  • Lecture
    11/20/2023
    Monday
        Types continued
  • Lecture
    11/22/2023
    Wednesday
    NO CLASS
    (Happy Thanksgiving!)
  • Holiday
    11/23/2023
    Thursday
    Thanksgiving
  • Holiday
    11/24/2023
    Friday
    Day After Thanksgiving
  • Lecture
    11/27/2023
    Monday
        Types continued
  • Lecture
    11/29/2023
    Wednesday
        Types continued
  • Lecture
    12/01/2023
    Friday
    Typeclasses
  • Lecture
    12/04/2023
    Monday
        Typeclasses continued
  • Lecture
    12/06/2023
    Wednesday
    Monads
  • Lecture
    12/08/2023
    Friday
    Final review
  • Due
    12/08/2023 23:59
    Friday
    HW5: Types
  • Exam
    12/14/2023 08:00
    Thursday
    Final

    closed book

    1 double-sided “cheat sheet” allowed