UC Santa Cruz, Baskin School of Engineering
CSE 114A: Foundations of Programming Languages
Winter 2022

Main Navigation

  • Home
  • Lectures
  • Assignments
  • Materials

Lectures

You can download lecture slides (or notes) here. We will try to upload lectures prior to their corresponding classes.

  • Course overview
    [slides] [handout]
  • Lambda calculus
    [slides] [handout] [demo]
  • Introduction to Haskell
    [slides] [handout]
  • Datatypes and Recursion
    [slides] [handout]
  • Higher-order functions
    [slides] [handout]
  • Environments and closures
    [slides] [handout]
  • Polymorphism and type inference
    [slides] [handout]
  • Typeclasses
    [slides] [handout]
  • Monads
    [slides] [handout]
  • Final review

  • engineering.ucsc.edu