Introduction to Type Systems

  1. Introduction to Type Systems
  2. Simply typed lambda calculus
  3. Polymorphic lambda calculus
  4. Type inference