Generics and SubtypingCovers advanced concepts in generics and subtyping in Java, focusing on LinkedList implementation and List interface.
Inheritance: Polymorphism & CastingCovers inheritance, polymorphism, and casting in object-oriented programming, emphasizing code factorization and generic object manipulation.
Types and Inductive RelationsDiscusses the importance of types, unsound type systems, and inductively defined relations for a small language's type system.
Virtual Methods in C++Covers polymorphism in C++ through virtual methods, explaining method resolution and the interaction with constructors.