Types and Semantics

3 credits

Directed readings on topics in the theory of programming languages, formal semantics and type theory. Potential topics include denotational semantics, program analysis, proof theory, models of type theory, proof techniques (e.g. logical relations), and implementation of dependent types.