Estamos experimentando algunos errores en la base de datos. Algunas funciones pueden no responder correctamente.
Types and Programming Languages
por Benjamin C. Pierce · 2002
Sinopsis
Un texto completo sobre teoría de tipos para lenguajes de programación, que explora los fundamentos formales de los sistemas de tipos, incluyendo cálculos lambda, inferencia de tipos y polimorfismo.
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
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
2011
Domain-Specific Language Engineering
2014
Applied Type Systems
2015
Programming Language Foundations in Agda
2017
Semantic Scholar: An Efficient Algorithm for Semantic Processing
2020
Libros similares
Libros relacionados según distintos criterios de búsqueda