A first course in type theory [
| Main Author: | |
|---|---|
| Format: | Electronic Book |
| Language: | English |
| Published: |
New York :
Learning Press ,
2012
|
| Subjects: | |
| Online Access: | Learning Press |
Table of Contents:
- 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