home
>
book reviews
> David A. Schmidt
Google >
David A. Schmidt
author : David A. Schmidt
Books
Denotational Semantics
.
1986
The Structure of Typed Programming Languages
.
1994
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:
The Programming Language Core
The Abstraction Principle
lazy and eager evaluation recursively defined abstractions variable declarations type structures
The Parameterization and Correspondence Principles
The Qualification Principle
command blocks dynamic scoping objected-oriented languages
Records and Lambda Abstractions
higher-order languages
The Lambda Calculus
untyped, simply typed
Functional Programming Languages
type inference logic languages
Higher-Order Typed Lambda Calculi
Propositional-Logic Tpying
proofs as programs classical and intuitionistic logic
Predicate-Logic Typing