Find a university to explore its courses and reviews.
Introduction to programming language theory including operational semantics, type systems, higher-order functions, scope, and lambda calculus.
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.