UCSC · CSE 114aWork in Progress
Foundations of Programming Languages
Notes on lambda calculus, type systems, operational semantics, and functional programming.
Created Apr 2, 2026
Notes from CSE 114a at UCSC.
Topics Covered
- Lambda calculus
- Type systems and type inference
- Operational semantics
- Functional programming patterns