Temas avanzados en tipos y lenguajes de programación
A

Temas avanzados en tipos y lenguajes de programación

Ensamblador
type theory programming languages dependent types substructural types type inference proof-carrying code modular systems
Autor
Benjamin C. Pierce (editor)
Editorial
The MIT Press
Año
2005
Idioma
Inglés
105
Calificar este libro

Para leer el libro, iniciar sesión / registrarse

Vista previa del fragmento

Libros similares

Estructuras de datos y algoritmos avanzados

Estructuras de datos y algoritmos avanzados

Abirami A, Priya R L

El lenguaje de programación C++

El lenguaje de programación C++

Bjarne Stroustrup

Sistemas Informáticos: Una Perspectiva del Programador, Tercera Edición Global

Sistemas Informáticos: Una Perspectiva del Programador, Tercera Edición Global

Randal E. Bryant, David R. O'Hallaron

El lenguaje de programación C++, cuarta edición

El lenguaje de programación C++, cuarta edición

Bjarne Stroustrup

Lenguajes de programación: conceptos e implementación

Lenguajes de programación: conceptos e implementación

Saverio Perugini

Effective C, 2ª Edición: Una Introducción a la Programación Profesional en C

Effective C, 2ª Edición: Una Introducción a la Programación Profesional en C

Robert C. Seacord

Una guía completa para programar en C++

Una guía completa para programar en C++

Ulla Kirch-Prinz, Peter Prinz

Programación en C#: Tipos de valor y tipos de referencia

Programación en C#: Tipos de valor y tipos de referencia

Mark J. Price

El lenguaje de programación C, segunda edición

El lenguaje de programación C, segunda edición

Brian W. Kernighan, Dennis M. Ritchie

Programación Avanzada en Perl

Programación Avanzada en Perl

Simon Cozens