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.
Be the first to review this course!