Java Generics and Collections

Tratado canónico y teórico de máxima autoridad sobre el sistema de tipos y colecciones de Java escrito por Maurice Naftalin y Philip Wadler (uno de los diseñadores de los genéricos de Java y Haskell), publicado por O'Reilly en 2006.

Explora en profundidad la varianza de tipos (wildcards y el principio PECS: *Producer Extends, Consumer Super*), el borrado de tipos (type erasure), reflexión con genéricos y la arquitectura completa del Java Collections Framework (`List`, `Set`, `Map`, `Queue`).

Wadler y Naftalin aportan un rigor formal insuperable que desmitifica por completo las advertencias del compilador y las complejidades de los tipos parametrizados. Una obra académica fundamental para comprender la ingeniería del compilador Java.