Tipos y Polimorfismo en Lenguajes de Programación
2002·no ficcion
Este libro ofrece una revisión exhaustiva de la teoría de tipos y el polimorfismo en los lenguajes de programación, desde sistemas simples hasta sistemas de tipos avanzados, enfatizando su papel en la seguridad y expresividad del software.
