Explora en profundidad los sistemas de tipos y polimorfismo, conectando conceptos teóricos con el diseño de lenguajes de programación de manera similar.
Tipos y Polimorfismo en Lenguajes de Programación
por Luca Cardelli, Peter Wegner · 1985
Ver sugerenciasdivulgacioninformaticasistemas de tipospolimorfismolenguajes de programacionteoria de la computacion
Sinopsis
Este influyente artículo revisa y clasifica diferentes formas de tipado y polimorfismo en lenguajes de programación. Introduce un marco teórico para entender la relación entre lenguajes y sus características de tipo, desde el polimorfismo paramétrico hasta el de subtipo.
divulgacioninformaticasistemas de tipospolimorfismolenguajes de programacionteoria de la computacion
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
Typeful Programming with Polymorphic Types
1988
A Semantics of Type Inference
1991
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
Principios para la selección de tipos en lenguajes de programación con tipos funcionales
Robin Milner
1978·divulgacion
Describe un método clave para la inferencia de tipos en lenguajes funcionales, expandiendo la teoría del tipado presentada en el libro de referencia.
Ofrece un análisis exhaustivo de los sistemas de tipos, abarcando aspectos teóricos y prácticos del polimorfismo, alineándose con el enfoque del documento.
Revisa la teoría de tipos y polimorfismo de manera exhaustiva, centrándose en su importancia para la seguridad y expresividad del software.
Profundiza en la programación con tipos polimórficos, extendiendo los principios discutidos en el libro original sobre polimorfismo y sistemas de tipos.
Proporciona una introducción formal y rigurosa a los tipos y lenguajes de programación, abordando la semántica y la inferencia de tipos, complementando la temática del libro original.