Tipos y lenguajes de programación
A

Tipos y lenguajes de programación

General
type theory programming languages lambda calculus subtyping polymorphism type systems formal semantics
Autor
Benjamin C. Pierce
Editorial
The MIT Press
Año
2002
Idioma
Inglés
91
Calificar este libro

Para leer el libro, iniciar sesión / registrarse

Vista previa del fragmento

Libros similares

Temas avanzados en tipos y lenguajes de programación

Temas avanzados en tipos y lenguajes de programación

Benjamin C. Pierce (editor)

Pragmática de los Lenguajes de Programación, Quinta Edición

Pragmática de los Lenguajes de Programación, Quinta Edición

Michael L. Scott, Jonathan Aldrich

El lenguaje de programación C++

El lenguaje de programación C++

Bjarne Stroustrup

Lenguaje de Programación Rust: Guía Integral de Sintaxis, Tipos y Conceptos Fundamentales

Lenguaje de Programación Rust: Guía Integral de Sintaxis, Tipos y Conceptos Fundamentales

No especificado en el contenido proporcionado

Principios de Programación Orientada a Objetos

Principios de Programación Orientada a Objetos

No especificado

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

Lenguajes de programación: conceptos e implementación

Lenguajes de programación: conceptos e implementación

Saverio Perugini

La especificación del lenguaje de programación Go

La especificación del lenguaje de programación Go

Oliver Stone

Algoritmos y estructuras de datos

Algoritmos y estructuras de datos

Niklaus Wirth

Conceptos y Vocabulario: Conceptos y Vocabulario de Programación

Conceptos y Vocabulario: Conceptos y Vocabulario de Programación

Autor no especificado