A first course in type theory [ - Singleton, Velva (New York : Learning Press, 2012)
1. Table of contents -- 2. Introduction to type theory -- 3. Simply typed lambda calculus -- 4. Type polymorphism and type system -- 5. Algebraic data type and calculus of constructions -- 6. Composite data type and covariance and contravariance (computer science) -- 7. Liskov substitution principle and effect system -- 8. Nominative type system and structural type system -- 9. Option type and POPLmark challenge -- 10. Recursive data type and strong typing -- 11. System F and tagged union -- 12. Type inference and type conversion -- 13. Type class and weak typing
Keywords: Type theory