CS 442
Principles of Programming Languages
Winter 2026
Readings
- Racket / PLT Scheme and R5RS resources
- Standard ML of New Jersey
- GHC / Haskell resources
- State monad example
2015
Topics
- Untyped lambda calculus and dynamically-typed languages
- Typed lambda calculus and statically-typed languages
- Polymorphism
- Other topics
Readings
- Types and Programming Languages
Sources
- Course catalogue ↗2026–2027
- course_website ↗Winter 2026
- departmental_course_outline ↗2015
- Departmental typical outline and references; assignments and textbooks may vary by term. Source revision: Aug 31, 2015. Year refers to the departmental revision date, not a specific offering.