author : David A. Schmidt

Contents:

1. The Programming Language Core
2. The Abstraction Principle
   • lazy and eager evaluation • recursively defined abstractions • variable declarations • type structures
3. The Parameterization and Correspondence Principles
4. The Qualification Principle
   • command blocks • dynamic scoping • objected-oriented languages
5. Records and Lambda Abstractions
   • higher-order languages
6. The Lambda Calculus
   • untyped, simply typed
7. Functional Programming Languages
   • type inference • logic languages
8. Higher-Order Typed Lambda Calculi
9. Propositional-Logic Tpying
   • proofs as programs • classical and intuitionistic logic
10. Predicate-Logic Typing