skip to main content

Course Websites

CS 522 - Programming Language Semantics

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

TitleSectionCRNTypeHoursTimesDaysLocationInstructor
Programming Language SemanticsR54414ONL41230 - 1345 T R    Grigore Rosu