Advanced topics in types and programming languages

Título:

Advanced topics in types and programming languages

Autor:

Sin autor

Colaboradores:

Temas:

LENGUAJES DE PROGRAMACIÓN ; ASSEMBLER ; LENGUAJES DE BAJO NIVEL ; LENGUAJE ENSAMBLADOR ; 

Descripción física:

xiii, 574 p.  ; 24 cm.

ISBN:

0-262-16228-8

Idioma:

Español, 

País:

Argentina

Publicación:

Londres, 2005

Puede solicitar más fácilmente el ejemplar con: D.3 PIE

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.