CS 428
Programming Languages
Explores the theory, design, & implementation of programming languages. Topics include syntax specification, parsing, formal semantics, functional & logic programming, pattern matching, backtracking, higher-order function, lambda calculus, continuation, parameter passing, meta-circular evaluation.
Topics
- syntax specification
- parsing
- formal semantics
- functional & logic programming
- pattern matching
- backtracking
- higher-order function
- lambda calculus
- continuation
- parameter passing
- meta-circular evaluation
Topics explicitly listed in official catalogue description
Sources
- Course catalogue ↗2026-2027