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.
No one has reviewed this course yet. Share your experience and help future students know what to expect.
Takes about 2 minutes. Every review is anonymous — no account needed.