Aborda la teoría de tipos y polimorfismo, enfatizando su seguridad y expresividad, lo cual complementa la exploración de sistemas de tipos en el libro de Pierce.
Sistemas de tipos de datos
por Benjamin C. Pierce · 2002
Ver sugerenciasSinopsis
Una exploración exhaustiva de los sistemas de tipos en lenguajes de programación, desde los fundamentos teóricos hasta sus aplicaciones prácticas, incluyendo polimorfismo y subtipado.
Sé el primero en valorar este libro.
Más de Benjamin C. Pierce
Ver autor →Otras obras del mismo autor en el catálogo
The Next 700 Programming Languages
1980
The Formal Semantics of Programming Languages
1991
Programming Language Pragmatics
1998
Logic in Computer Science: 16th Annual Conference
2001
Types and Programming Languages
2002
Theorem Proving in Higher Order Logics
2005
Formal Methods and Software Engineering
2005
Haskell 98 Language and Libraries
2006
Computational Logic and Set Theory
2007
Principles of Programming Languages
2009
Software Foundations
2010
Software Foundations
2012
Domain-Specific Language Engineering
2014
Applied Type Systems
2015
Programming Language Foundations in Agda
2017
Libros similares
Libros relacionados según distintos criterios de búsqueda
Profundiza en la teoría de tipos en programación funcional, relacionando conceptos avanzados que también están presentes en la obra de Pierce sobre sistemas de tipos.
Explora en profundidad los sistemas de tipos y el polimorfismo, pilares teóricos que son centrales en los argumentos de Pierce sobre programación y teoría de lenguajes.
Examina conceptos centrales de lenguajes de programación, proporcionando un contexto histórico y teórico que resuena con la exploración exhaustiva que hace Pierce en su libro.
Escrito por el mismo autor, este libro ofrece una introducción formal a conceptos como semántica e inferencia de tipos, áreas clave en la obra de Pierce.
Este texto introduce principios de lenguajes de programación, relacionándose con el enfoque teórico de Pierce sobre semántica, sintaxis y análisis en lenguajes.