BOOK: Foundations for Programming Languages (Mitchell)

[------ The Types Forum ------- http://www.dcs.gla.ac.uk/~types ------]


Foundations for Programming Languages

     by  John C. Mitchell 

	"Programming languages embody the pragmatics of designing
	software systems, and also the mathematical concepts which
	underlie them. Anyone who wants to know how, for example,
	object-oriented programming rests upon a firm foundation in
	logic should read this book. It guides one surefootedly
	through the rich variety of basic programming concepts
	developed over the past forty years."
	-- Robin Milner, Professor of Computer Science, The Computer
	Laboratory, Cambridge University
	"Programming languages need not be designed in an
	intellectual vacuum; John Mitchell's book provides an
	extensive analysis of the fundamental notions underlying
	programming constructs. A basic grasp of this material is
	essential for the understanding, comparative analysis, and
	design of programming languages."
	-- Luca Cardelli, Digital Equipment Corporation 

Written for advanced undergraduate and beginning graduate students,
Foundations for Programming Languages uses a series of typed lambda
calculi to study the axiomatic, operational, and denotational
semantics of sequential programming languages. Later chapters are
devoted to progressively more sophisticated type systems.

Compared to other texts on the subject, Foundations for Programming
Languages is distinguished primarily by its inclusion of material on
universal algebra and algebraic data types, imperative languages and
Floyd-Hoare logic, and advanced chapters on polymorphism and modules,
subtyping and object-oriented concepts, and type inference. The book
is mathematically oriented but includes discussion, motivation, and
examples that make the material accessible to students specializing in
software systems, theoretical computer science, or mathematical logic.

Foundations for Programming Languages is suitable as a reference for
professionals concerned with programming languages, software
validation or verification, and programming, including those working
with software modules or object-oriented programming.

  MIT Press
  Foundations of Computing series
  September 1996
  ISBN 0-262-13321-0
  608 pp.  << actually 850 pages >>
  $60.00 (cloth)

MIT PRESS display: http://www-mitpress.mit.edu:80/mitp/recent-books/comp/mitfh.html