
por Kim B. Bruce · 2002
Sinopsis
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.
Sé el primero en valorar este libro.
Libros relacionados según distintos criterios de búsqueda