Advanced topics in types and programming languages / Benjamin C. Pierce, editor.
| Other author | Pierce, Benjamin C. |
| Format | Book |
| Publication Info | Cambridge, Mass. : MIT Press, ©2005. |
| Description | xiii, 574 pages : illustrations ; 24 cm |
| Subjects |
| Contents | Substructural type systems / David Walker -- Dependent types / David Aspinall and Martin Hofmann -- Effect types and region-based memory management / Fritz Henglein, Henning Makholm, and Henning Niss -- Typed assembly language / Greg Morrisett -- Proof-carrying code / George Necula -- Logical relations and a case study in equivalence checking / Karl Crary -- Typed operational reasoning / Andrew Pitts -- Design considerations for ML-style module systems / Robert Harper and Benjamin C. Pierce -- Type definitions / Christopher A. Stone -- The essence of ML type inference / François Pottier and Didier Rémy. |
| Bibliography note | Includes bibliographical references (p. [535]-565) and index. |
| LCCN | 2004057123 |
| ISBN | 0262162288 |
Availability
| Library | Location | Call Number | Status | Item Actions |
|---|---|---|---|---|
| Joyner | General Stacks | QA76.7 .A36 2005 | ✔ Available | Place Hold |