Al igual que 'Apuntes de lenguajes de programación en la práctica', este libro profundiza en la teoría de tipos y su aplicación en lenguajes de programación.
Apuntes de lenguajes de programación en la práctica
por Robert Harper · 2011
Ver sugerenciasSinopsis
Basado en notas de un curso, este libro explora los principios fundamentales de los lenguajes de programación, desde su semántica hasta la implementación de tipos y la teoría de la programación, utilizando varios lenguajes como ejemplo.
Sé el primero en valorar este libro.
Libros similares
Libros relacionados según distintos criterios de búsqueda
Este texto, como el de Harper, aborda tanto los fundamentos teóricos como las técnicas prácticas en la ciencia de los lenguajes de programación.
Mitchell explora conceptos claves de programación y teorías subyacentes, similar a cómo Harper utiliza ejemplos prácticos para ilustrar principios fundamentales.
Bruce ofrece una revisión detallada de la teoría de tipos y su relación con la seguridad del software, igual que Harper enfatiza la implementación de tipos.
Este libro introduce formalmente los tipos y la semántica de los lenguajes, reflejando la estructura académica y el enfoque práctico del texto de Harper.
Sugiyama examina fundamentos teóricos y paradigmas de programación, al igual que Harper hace con la semántica y construcción de lenguajes de programación.