+612 9045 4394
Advanced Topics in Types and Programming Languages : The MIT Press - Benjamin C. Pierce

Advanced Topics in Types and Programming Languages

The MIT Press

By: Benjamin C. Pierce (Editor)

Hardcover Published: 15th February 2005
ISBN: 9780262162289
Number Of Pages: 588
For Ages: 18+ years old

Share This Book:


RRP $194.99
or 4 easy payments of $34.56 with Learn more
Ships in 15 business days

The study of type systems for programming languages now touches many areas of computer science, from language design and implementation to software engineering, network security, databases, and analysis of concurrent and distributed systems. This book offers accessible introductions to key ideas in the field, with contributions by experts on each topic. 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" builds on Benjamin Pierce's "Types and Programming Languages" (MIT Press, 2002); most of the chapters should be accessible to readers familiar with basic notations and techniques of operational semantics and type systems--the material covered in the first half of the earlier book. "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.

Prefacep. ix
Precise Type Analyses
Substructural Type Systemsp. 3
Dependent Typesp. 45
Types for Low-Level Languages
Typed Assembly Languagep. 141
Proof-Carrying Codep. 177
Types and Reasoning about Programs
Logical Relations and a Case Study in Equivalence Checkingp. 223
Typed Operational Reasoningp. 245
Types for Programming in the Large
Design Considerations for ML-Style Module Systemsp. 293
Type Definitionsp. 347
Type Inference
The Essence of ML Type Inferencep. 389
A Solutions to Selected Exercisesp. 491
Referencesp. 535
Indexp. 567
Table of Contents provided by Publisher. All Rights Reserved.

ISBN: 9780262162289
ISBN-10: 0262162288
Series: The MIT Press
Audience: Professional
For Ages: 18+ years old
Format: Hardcover
Language: English
Number Of Pages: 588
Published: 15th February 2005
Publisher: MIT Press Ltd
Country of Publication: US
Dimensions (cm): 22.9 x 20.3  x 3.2
Weight (kg): 1.2