| Record Type: |
Electronic resources
: Monograph/item
|
| Title/Author: |
Advanced topics in types and programming languages/ Benjamin C. Pierce, editor. |
| other author: |
Pierce, Benjamin C. |
| Published: |
Cambridge, Mass. :MIT Press, : c2005., |
| Description: |
xiii, 574 p. :ill. ;24 cm. |
| [NT 15003449]: |
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. |
| Subject: |
Programming languages (Electronic computers) - |
| Online resource: |
https://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&AN=138471An electronic book accessible through the World Wide Web; click for information |
| ISBN: |
1423729846 (electronic bk.) |