Tipos y Polimorfismo en Lenguajes de Programación
por Luca Cardelli · 1996
Sinopsis
Una monografía fundamental que explora en profundidad los sistemas de tipos y el polimorfismo, pilares teóricos en el diseño y la comprensión de lenguajes de programación.
Sé el primero en valorar este libro.
Más de Luca Cardelli
Ver autor →Otras obras del mismo autor en el catálogo
sin portada
The Next 700 Programming Languages
1982
Towards a Theory of Abstract Types
1983
Tipos y Polimorfismo en Lenguajes de Programación
1985
Typeful Programming with Polymorphic Types
1988
A Semantics of Type Inference
1991
sin portada
Concurrent Programming in Ergodic Systems
1992
sin portada
Typed Lambda Calculi
1994
Monads and Effects
1995
sin portada
The Logical Foundations of Typed Programming
1996
sin portada
Simplicity in Programming Language Design
1997
sin portada
Foundations of Programming Languages
1998
sin portada
Semantics of Programming Languages
1999
sin portada
A Practical Theory of Programming Languages
2000
sin portada
Object-Oriented Programming in a Functional Environment
2001
sin portada
The Programming Language Standard
2003
Libros similares
Libros relacionados según distintos criterios de búsqueda