Find a copy in the library
Finding libraries that hold this item...
Details
| Document Type: | Book |
|---|---|
| All Authors / Contributors: |
Benjamin C Pierce |
| ISBN: | 0262162288 9780262162289 |
| OCLC Number: | 56334349 |
| Description: | xiii, 574 p. : ill. ; 24 cm. |
| 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. |
| Responsibility: | Benjamin C. Pierce, editor. |
Reviews
Add a review and share your thoughts with other readers.
Be the first.
Add a review and share your thoughts with other readers.
Be the first.
Tags
Add tags for "Advanced topics in types and programming languages".
Be the first.
