Advanced Topics in Types and Programming Languages - Table of Contents

December 2004
8 x 9, 588 pp., 125 illus.
$68.00/£50.95 (CLOTH)
Short

ISBN-10:
0-262-16228-8
ISBN-13:
978-0-262-16228-9

< BACK
Advanced Topics in Types and Programming Languages
Edited by Benjamin C. Pierce

	Preface Sample Chapter - Download PDF (98 KB)	ix

I	Precise Type Analyses	1

1	Substructural Type Systems David Walker Sample Chapter - Download PDF (301 KB)	3

2	Dependent Types David Aspinall and Martin Hofmann	45

II	Types for Low-Level Languages	137

4	Typed Assembly Language Greg Morrisett	141

5	Proof-Carrying Code George Necula	177

III	Types and Reasoning about Programs	221

6	Logical Relations and a Case Study in Equivalence Checking Karl Crary	223

7	Typed Operational Reasoning Andrew Pitts	245

IV	Types for Programming in the Large	291

8	Design Considerations for ML-Style Module Systems Robert Harper and Benjamin C. Pierce	293

9	Type Definitions Christopher Stone	347

V	Type Inference	387

10	The Essence of ML Type Inference François Pottier and Didier Rémy	389

A	Solutions to Selected Exercises	491

	References	535

	Index Sample Chapter - Download PDF (76 KB)	567

	Join an E-mail Alert List

TECHNOLOGY PARTNER: Azility, Inc.