Books

Books : reviews

David A. Schmidt.
Denotational Semantics: a methodology for language development.
Wm C Brown Publishers. 1986

(read but not reviewed)

David A. Schmidt.
The Structure of Typed Programming Languages.
MIT Press. 1994

(read but not reviewed)


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