Explora de manera exhaustiva los sistemas de tipos y su aplicación práctica, conectando con el enfoque técnico del libro de referencia.
Tipos y Polimorfismo en Lenguajes de Programación
por Kim B. Bruce · 2002
Ver sugerenciasSinopsis
Este libro ofrece una revisión exhaustiva de la teoría de tipos y el polimorfismo en los lenguajes de programación, desde sistemas simples hasta sistemas de tipos avanzados, enfatizando su papel en la seguridad y expresividad del software.
Sé el primero en valorar este libro.
Libros similares
Libros relacionados según distintos criterios de búsqueda
Ambos libros abordan profundamente la teoría de tipos y el polimorfismo, fundamentales para el diseño y comprensión de lenguajes de programación.
Examina conceptos centrales de programación y la evolución de la teoría de tipos, alineándose con la exploración exhaustiva del tema en el libro de referencia.
Profundiza en la teoría de tipos como base de la programación funcional, reflejando la conexión con la lógica computacional que trata el libro de referencia.
Ofrece una base formal sobre tipos y lenguajes de programación, similar a la revisión exhaustiva de la teoría de tipos presentada en el libro de referencia.
Aborda principios fundamentales de los lenguajes de programación, incluyendo análisis y diseño, que complementan la discusión sobre polimorfismo del libro de referencia.