Advanced topics in types and programming languages
| Autor Principal: | |
|---|---|
| Formato: | Libro |
| Lengua: | español |
| Datos de publicación: |
Londres :
[S.n.],
2005
|
| Temas: | |
| Acceso en línea: | Consultar en el Cátalogo |
| Descripción Física: | xiii, 574 p. ; 24 cm. |
| ISBN: | 0262162288 |
Tabla de Contenidos:
- 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.