Local cover image
Advanced topics in types and programming languages
Material type:
TextPublication details: Londres : [S.n.], 2005Description: xiii, 574 p. ; 24 cmISBN: - 0262162288
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 intrefarence.
| Item type | Home library | Call number | Status | Date due | Barcode | |
|---|---|---|---|---|---|---|
Libro
|
Biblioteca de la Facultad de Informática | D.3 PIE (Browse shelf(Opens below)) | Available | DIF-03459 |
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 intrefarence.
Click on an image to view it in the image viewer