CS 890FA
Types and Semantics
Ind 001 selected
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.
Sections
Independent study
Ind 001
Online
Syllabus
Have the syllabus for CS 890FA? Share it and everyone gets the grading, textbooks and rules.