Amazon cover image
Image from Amazon.com

Advanced topics in types and programming languages / Benjamin C. Pierce

By: Material type: TextTextPublication details: Cambridge, Massachusetts : MIT Press, c2005Description: xiii, 574 pages : illustrations ; 24 cmISBN:
  • 9780262162289
Subject(s): LOC classification:
  • QA 76.7 .A38 2005
Contents:
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.
Summary: 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.
Item type: Books
Tags from this library: No tags from this library for this title. Log in to add tags.
Star ratings
    Average rating: 0.0 (0 votes)
Holdings
Item type Current library Home library Collection Call number Copy number Status Date due Barcode
Books 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

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.

to post a comment.