O documento discute conceitos de programação orientada a objetos como polimorfismo universal por inclusão e vtables. Também aborda polimorfismo universal paramétrico e como ele é implementado em C++ através de templates e em Java através de generics e autoboxing, apesar da erasure de tipos em Java.