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