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