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

17 títulos

The Next 700 Programming Languages

1982

Towards a Theory of Abstract Types

1983

Tipos y Polimorfismo en Lenguajes de Programación

1985·no ficcion

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.

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

Tipos y Polimorfismo en Lenguajes de Programación

1996·no ficcion

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.