.	Computer Science C S 422. Programming Language Semantics Topics in the theory of programming languages including: functional programming, meta-circular interpreters, typed, untyped and polymorphic lambda-calculi, and denotational semantics. Prerequisite: C S 322, and C S 326. 1 unit.