Read our cookies policy and privacy statement for more information.
×Tampa, Florida•
An introduction to the specification, design, and analysis of programming languages. Topics include syntax, operational semantics, type systems, type safety, lambda calculus, functional programming, polymorphism, side effects, and objects.
Units: 3.0