Programming Languages

Harvard FAS

Comprehensive introduction to the principal features and overall design of both traditional and modern programming languages, including syntax, formal semantics, abstraction mechanisms, modularity, type systems, naming, polymorphism, closures, continuations, concurrency, and verification. Provides the intellectual tools needed to design, evaluate, choose, and use programming languages.