Covers advanced concepts in generics and subtyping in Java, focusing on LinkedList implementation and List interface.
Explores subtyping rules, challenges, and its connection to various forms of polymorphism in programming languages.
Covers the declaration and initialization of arrays in Java, including syntax rules and techniques for initializing elements.
Discusses the importance of types, unsound type systems, and inductively defined relations for a small language's type system.
Explores the challenges of null references in programming languages and proposes solutions to mitigate their drawbacks while ensuring compatibility with existing codebases.
Covers the implementation of singly linked lists in Java, focusing on concepts such as nodes, size management, adding, removing, and getting elements.
Covers the introduction to arrays in Java, focusing on structured data representation and efficient data manipulation.
Covers the concept of generics in Java, focusing on implementation and usage.
