Advanced topics in types and programming languages / Benjamin C. Pierce
Material type:
TextPublication details: Cambridge, Massachusetts : MIT Press, c2005Description: xiii, 574 pages : illustrations ; 24 cmISBN: - 9780262162289
- QA 76.7 .A38 2005
Books
| Item type | Current library | Home library | Collection | Call number | Copy number | Status | Date due | Barcode | |
|---|---|---|---|---|---|---|---|---|---|
|
Books
|
National University - Manila | LRC - Graduate Studies General Circulation | Gen. Ed. - CCIT | GC QA 76.7 .A38 2005 (Browse shelf(Opens below)) | c.1 | Available | NULIB000011103 |
Browsing LRC - Graduate Studies shelves, Shelving location: General Circulation, Collection: Gen. Ed. - CCIT Close shelf browser (Hides shelf browser)
|
|
|
|
|
|
|
||
| GC QA 76.6 .G74 2012 Programming problems : advanced algorithms : a primer for the technical interview / | GC QA 76.6 .H47 2012 The Art of multiprocessor programming / | GC QA 76.6 .S78 2013 c.1 Understanding computation : from simple machines to impossible programs / | GC QA 76.7 .A38 2005 Advanced topics in types and programming languages / | GC QA 76.7 .B35 2014 Natural language processing with java and lingpipe cookbook / | GC QA 76.7 .H37 2013 c.3 Practical foundations for programming language / | GC QA 76.7 .P54 2002 Types and programming languages / |
Includes bibliographical references and index.
Substructural type systems -- Dependent types -- Effect types and region-based memory management -- Typed assembly language -- Proof-carrying code -- Logical relations and a case study in equivalence checking -- Typed operational reasoning -- Design considerations for ML-style module systems -- Type definitions -- The essence of ML type inference.
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 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.
There are no comments on this title.