UC Santa Cruz, Baskin School of Engineering
CSE 114A: Foundations of Programming Languages
Spring 2024

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!).

  • Event
    Date
    Description
    Notes
  • Lecture
    04/02/2024
    Tuesday
    Course overview
    [Lecture 1 live notes]
  • Lecture
    04/04/2024
    Thursday
    Lambda calculus
    [Lecture 2 live notes] [Lecture 2 live code] [Lecture 3 live notes] [Lecture 3 live code] [Lecture 4 live notes] [Lecture 4 live code] [Lecture 5 live code]
  • Assignment
    04/07/2024
    Sunday
    HW0: Lambda Calculus released
  • Lecture
    04/09/2024
    Tuesday
        Lambda calculus, continued
  • Lecture
    04/11/2024
    Thursday
        Lambda calculus, continued
  • Lecture
    04/16/2024
    Tuesday
    Introduction to Haskell
    [Lecture 5 live notes] [Lecture 5 live code] [Lecture 6 live code]
  • Due
    04/16/2024 23:59
    Tuesday
    HW0: Lambda Calculus due
  • Assignment
    04/16/2024
    Tuesday
    HW1: Haskell Crash Course released
  • Lecture
    04/18/2024
    Thursday
        Introduction to Haskell, continued
  • Lecture
    04/22/2024
    Monday
    Datatypes and recursion
    [Lecture 7 live code] [Lecture 8 live notes] [Lecture 8 live code]
  • Due
    04/23/2024 23:59
    Tuesday
    HW1: Haskell Crash Course due
  • Assignment
    04/23/2024
    Tuesday
    HW2: Random Art released
  • Lecture
    04/25/2024
    Thursday
        Datatypes and recursion, continued
  • Lecture
    04/30/2024
    Tuesday
    Higher-order functions
    [Lecture 9 live code]
  • Due
    04/30/2024 23:59
    Tuesday
    HW2: Random Art due
  • Assignment
    04/30/2024
    Tuesday
    HW3: Environment-Passing Interpreters and Higher-Order Functions released
  • 05/01/2024 09:00
    Wednesday
    Code Walk Week 1

    It’s Code Walk Week 1! At some point this week, you’ll meet with a member of course staff for a code walk to discuss your work on HW0, HW1, and/or HW2. Details will be available on Canvas.

  • Lecture
    05/02/2024
    Thursday
    Typeclasses
    [Lecture 10 live notes] [Lecture 10 live code]
  • Lecture
    05/07/2024
    Tuesday
    Midterm review
    [Lecture 11 live notes] [Lecture 11 live code (Haskell)] [Lecture 11 live code (Elsa)]
  • Due
    05/07/2024 23:59
    Tuesday
    HW3: Environment-Passing Interpreters and Higher-Order Functions due
  • Exam
    05/09/2024
    Thursday
    Midterm

    In class, closed book

    1 double-sided “cheat sheet” allowed

    Covers material through “Typeclasses”

  • Lecture
    05/14/2024
    Tuesday
    Environments and closures
    [Lecture 12 live code] [Lecture 13 live notes] [Lecture 14 live code]
  • Assignment
    05/14/2024
    Tuesday
    HW4: Nano released
  • Lecture
    05/16/2024
    Thursday
        Environments and closures, continued
  • Lecture
    05/20/2024
    Monday
        Environments and closures, continued
  • Lecture
    05/23/2024
    Thursday
    Guest lecture (cancelled)
  • Holiday
    05/27/2024
    Monday
    Memorial Day
  • Lecture
    05/28/2024
    Tuesday
    Polymorphism and type inference
    [Lecture 15 live notes] [Lecture 16 live notes] [Lecture 17 live notes]
  • Due
    05/28/2024 23:59
    Tuesday
    HW4: Nano due
  • Assignment
    05/28/2024
    Tuesday
    HW5: Types released
  • Lecture
    05/30/2024
    Thursday
        Polymorphism and type inference, continued
  • Lecture
    06/04/2024
    Tuesday
        Polymorphism and type inference, continued
  • Lecture
    06/06/2024
    Thursday
    Final review
  • Due
    06/07/2024 23:59
    Friday
    HW5: Types due
  • Exam
    06/10/2024 08:00
    Monday
    Final

    closed book

    1 double-sided “cheat sheet” allowed

    Covers material from the entire course