Find a university to explore its courses and reviews.
This course introduces the theory of programming languages. We study operational, axiomatic, and denotational semantics. We focus on lambda calculus, the most important foundation for programming languages, but also look at imperative programming. We also introduce some of the most important techniques for programming-languages research, including type theory, logical relations, and categorical semantics.
Be the first to review this course!