Course Websites
CS 522 - Programming Language Semantics
Last offered Fall 2021
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.
Related Faculty
Title | Section | CRN | Type | Hours | Times | Days | Location | Instructor |
---|---|---|---|---|---|---|---|---|
Programming Language Semantics | R | 54414 | ONL | 4 | 1230 - 1345 | T R | Grigore Rosu |