CS 522
Programming Language Semantics

Displaying course information from Spring 2013.

Section Type Times Days Location Instructor
R LCD 1230 - 1345 W F   1131 Siebel Center for Comp Sci  Grigore Rosu
Official Description Theory of programming languages including functional programming, meta-circular interpreters, typed, untyped and polymorphic lambda-calculi, and denotational semantics. Course Information: Prerequisite: CS 422 and CS 426.
Course Prerequisites
Course Directors