Ambos libros, escritos por Luca Cardelli, abordan la programación a través de la inferencia de tipos, profundizando en la estructura lógica detrás de los tipos polimórficos.
A Semantics of Type Inference
por Luca Cardelli · 1991
Ver sugerenciasSinopsis
Sé el primero en valorar este libro.
Más de Luca Cardelli
Ver autor →Otras obras del mismo autor en el catálogo
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
Concurrent Programming in Ergodic Systems
1992
Typed Lambda Calculi
1994
Monads and Effects
1995
The Logical Foundations of Typed Programming
1996
Tipos y Polimorfismo en Lenguajes de Programación
1996
Simplicity in Programming Language Design
1997
Foundations of Programming Languages
1998
Semantics of Programming Languages
1999
A Practical Theory of Programming Languages
2000
Object-Oriented Programming in a Functional Environment
2001
The Programming Language Standard
2003
Libros similares
Libros relacionados según distintos criterios de búsqueda
Al tratar sobre cálculos lambda tipados, este libro complementa la obra de Cardelli al explorar los fundamentos matemáticos que sustentan la inferencia de tipos.