The structure of typed programming languages / David A. Schmidt.

Author
Schmidt, David A., 1953 May 10- [Browse]
Format
Book
Language
English
Published/​Created
Cambridge, Mass. : MIT Press, ©1994.
Description
xiv, 367 pages : illustrations ; 24 cm.

Details

Subject(s)
Series
Foundations of computing [More in this series]
Summary note
The Structure of Typed Programming Languages describes the fundamental syntactic and semantic features of modern programming languages, carefully spelling out their impacts on language design. Using classical and recent research from lambda calculus and type theory, it presents a rational reconstruction of the Algol-like imperative languages such as Pascal, Ada, and Modula-3, and the higher-order functional languages such as Scheme and ML. The text is based on the premise that although few programmers ever actually design a programming language, it is important for them to understand the structuring techniques. His use of these techniques in a reconstruction of existing programming languages and in the design of new ones allows programmers and would-be programmers to see why existing languages are structured the way they are and how new languages can be built using variations on standard themes. Unique in its tutorial presentation of higher-order lambda calculus and intuitionistic type theory, this book is designed for use in a first or second course on principles of programming languages. It assumes a basic knowledge of programming languages and mathematics.
Bibliographic references
Includes bibliographical references (p. [343]-360) and index.
Contents
  • The programming language core
  • The abstraction principle
  • The parameterization and correspondence principles
  • The qualification principle
  • Records and Lambda abstractions
  • The Lambda calculus
  • Functional programming languages
  • Higher-order typed Lambda calculi
  • Propositional-logic typing
  • Predicated-logic typing.
ISBN
  • 0262193493
  • 9780262193498
  • 026269171X
  • 9780262691710
LCCN
93039912
OCLC
29024695
International Article Number
  • 9780262691710
Statement on language in description
Princeton University Library aims to describe library materials in a manner that is respectful to the individuals and communities who create, use, and are represented in the collections we manage. Read more...
Other views
Staff view

Supplementary Information