skip to content
Close Window

Please sign in to WorldCat 

Don't have an account? You can easily create a free account.

Advanced topics in types and programming languages
ClosePreview this item

Advanced topics in types and programming languages

Author: Benjamin C Pierce
Publisher: Cambridge, Mass. : MIT Press, ©2005.
Edition/Format: Book : EnglishView all editions and formats
Rating:

Retrieving ratings and reviews data...  

 

Find a copy in the library

Retrieving... 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

Retrieving WorldCat reviews...
Retrieving EMRO reviews...
Retrieving weRead reviews...
Retrieving GoodReads reviews...
Retrieving Amazon reviews...

Tags

Be the first.
Confirm this request

You may have already requested this item. Please select Ok if you would like to proceed with this request anyway.