Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
Medientyp:
Buch
Titel:
Advanced topics in types and programming languages
Enthält:
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.y.
Anmerkungen:
Folgebd. zu: Pierce, Benjamin C.: Types and programming languages
Literaturverz. S. [535] - 565
Beschreibung:
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(c)ʹois Pottier and Didier R(c)♭my.y