Computer Science

B622 Programming Language Type Systems

Credits: 3

Prerequisite(s): CSCI- B 521.

Theoretical foundations and engineering techniques for modern type systems, focusing on polymorphism and subtyping in typed lambda-calculi; applications, including type systems for objects, abstract data types, and modules; issues in type checker implementation and polymorphic type inference.

  • Course History