Foundations of Programming Languages

Graduate

Current developments in the theory and practice of programming language design and implementation. Various languages will be considered and may include imperative, applicative, logic, constraint, object- oriented, and equational languages.