Advanced topics in types and programming languages /
Benjamin C. Pierce
- Cambridge, Massachusetts : MIT Press, c2005
- xiii, 574 pages : illustrations ; 24 cm.
Includes bibliographical references and index.
Substructural type systems -- Dependent types -- Effect types and region-based memory management -- Typed assembly language -- Proof-carrying code -- Logical relations and a case study in equivalence checking -- Typed operational reasoning -- Design considerations for ML-style module systems -- Type definitions -- The essence of ML type inference.
The topics covered include precise type analyses, which extend simple type systems to give them a better grip on the run time behavior of systems; type systems for low-level languages; applications of types to reasoning about computer programs; type theory as a framework for the design of sophisticated module systems; and advanced techniques in ML-style type inference." "Advanced Topics in Types and Programming Languages can be used in the classroom and as a resource for professionals. Most chapters include exercises, ranging in difficulty from quick comprehension checks to challenging extensions, many with solutions.