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

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
    03/31/2025
    Monday
    Course overview
  • Lecture
    04/02/2025
    Wednesday
    Lambda calculus
  • Lecture
    04/04/2025
    Friday
        Lambda calculus, continued
  • Assignment
    04/06/2025
    Sunday
    HW0: Lambda Calculus released
  • Lecture
    04/07/2025
    Monday
        Lambda calculus, continued
  • Lecture
    04/09/2025
    Wednesday
        Lambda calculus, continued
  • Lecture
    04/11/2025
    Friday
        Lambda calculus, continued
  • Assignment
    04/13/2025
    Sunday
    HW1: Haskell Crash Course released
  • Lecture
    04/14/2025
    Monday
        Lambda calculus, continued
  • Lecture
    04/16/2025
    Wednesday
    Introduction to Haskell
  • Lecture
    04/18/2025
    Friday
    Datatypes and recursion
  • Due
    04/19/2025 23:59
    Saturday
    HW0: Lambda Calculus due
  • Lecture
    04/21/2025
    Monday
        Datatypes and recursion, continued
  • Lecture
    04/23/2025
    Wednesday
        Datatypes and recursion, continued
  • Exam
    04/25/2025
    Friday
    Midterm 1

    In class, closed book

    1 double-sided “cheat sheet” allowed

    Covers material from lectures 1-11

  • Due
    04/26/2025 23:59
    Saturday
    HW1: Haskell Crash Course due
  • Assignment
    04/27/2025
    Sunday
    HW2: Tail Recursion and Random Art released
  • Lecture
    04/28/2025
    Monday
        Datatypes and recursion, continued
  • Lecture
    04/30/2025
    Wednesday
        Datatypes and recursion, continued
  • Lecture
    05/02/2025
    Friday
    Higher-order functions
  • Assignment
    05/04/2025
    Sunday
    HW3: Environment-Passing Interpreters and Higher-Order Functions released
  • Lecture
    05/05/2025
    Monday
        Higher-order functions, continued
  • Lecture
    05/07/2025
    Wednesday
    Typeclasses
  • Lecture
    05/09/2025
    Friday
        Typeclasses, continued
  • Due
    05/10/2025 23:59
    Saturday
    HW2: Tail Recursion and Random Art due
  • Lecture
    05/12/2025
    Monday
    Environments and closures
  • Lecture
    05/14/2025
    Wednesday
        Environments and closures, continued
  • Exam
    05/16/2025
    Friday
    Midterm 2

    In class, closed book

    1 double-sided “cheat sheet” allowed

    Covers material from lectures 1-19

  • Due
    05/17/2025 23:59
    Saturday
    HW3: Environment-Passing Interpreters and Higher-Order Functions due
  • Assignment
    05/18/2025
    Sunday
    HW4: A Nano Interpreter released
  • Lecture
    05/19/2025
    Monday
        Environments and closures, continued
  • Lecture
    05/21/2025
    Wednesday
    Types, type inference, and polymorphism
  • Lecture
    05/23/2025
    Friday
        Types, type inference, and polymorphism, continued
  • Assignment
    05/25/2025
    Sunday
    HW5: Type Inference and Constraint Solving released
  • Holiday
    05/26/2025
    Monday
    Memorial Day
  • Lecture
    05/28/2025
    Wednesday
        Types, type inference, and polymorphism, continued
  • Lecture
    05/30/2025
    Friday
        Types, type inference, and polymorphism, continued
  • Due
    05/31/2025 23:59
    Saturday
    HW4: A Nano Interpreter due
  • Lecture
    06/02/2025
    Monday
        Types, type inference, and polymorphism, continued
  • Lecture
    06/04/2025
    Wednesday
        Types, type inference, and polymorphism, continued
  • Lecture
    06/06/2025
    Friday
    Ask me anything
  • Due
    06/07/2025 23:59
    Saturday
    HW5: Type Inference and Constraint Solving due
  • Exam
    06/10/2025 16:00
    Tuesday
    Final

    closed book

    1 double-sided “cheat sheet” allowed

    Covers material from the entire course