skip to main content

CS 522 - Programming Language Semantics

Fall 2018

Programming Language SemanticsCS522R54414LCD40930 - 1045 T R  1103 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.

Subject Area

Software Systems