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