Skip to main content
Courses

CSCI-B 622: PROGRAMMING LANGUAGE TYPE SYSTEMS (3 credits)

About

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

Resources