CS 522
Programming Language Semantics

Credit: 4 hours.


(C S 422) Topics in the theory of programming languages including: functional programming, meta-circular interpreters, typed, untyped and polymorphic lambda-calculi, and denotational semantics. Prerequisite: CS 422, and 426.