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.
Anonymous · no account needed · 10 seconds