Programming Languages

Course content

Analysis of syntactic and semantic properties of programming languages. Operational, denotational and axiomatic approaches to semantics. Typed lambda calculus. Algebraic data types. Case studies include a typed functional language with higher-order functions and an imperative sequential language.