Covers parametric polymorphism, lists construction, tuples, generic methods, merge sort, and proving program properties.
Explores subtyping rules, challenges, and its connection to various forms of polymorphism in programming languages.
Covers the concept of polymorphism in programming and the implementation of immutable linked lists in Scala.
Explores subtyping, generics, type bounds, variance, covariance, and array typing challenges in Java and Scala.
Explains the translation of for-expressions in Scala using map, flatmap, and filter functions, with examples and a discussion on its generalization to different types.
Covers advanced concepts in generics and subtyping in Java, focusing on LinkedList implementation and List interface.
Discusses the importance of types, unsound type systems, and inductively defined relations for a small language's type system.
Covers polymorphism in C++ through virtual methods, explaining method resolution and the interaction with constructors.
