Luca Cardelli
italiano
Luca Cardelli es un destacado científico y académico conocido por sus contribuciones al campo de la informática, especialmente en el ámbito de la teoría de tipos y la semántica de lenguajes de programación. Ha desempeñado un papel influyente en la investigación y desarrollo de sistemas de programación y lenguajes de programación en entornos académicos y de la industria.
Obras en el archivo
18 títulos
Tipos y Polimorfismo en Lenguajes de Programación
1985·divulgacion
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.
Tipos y Polimorfismo en Lenguajes de Programación
1996·divulgacion
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.
Examina la estructura ontológica subyacente a los lenguajes de programación, explorando cómo modelan y construyen representaciones del mundo.
Autores relacionados
Aparecen junto a Luca Cardelli en búsquedas del archivo