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.
Explores subtyping, generics, and variance in Scala, emphasizing the importance of precise type descriptions and demonstrating practical applications of for expressions.
Covers the concept of polymorphism in programming and the implementation of immutable linked lists in Scala.
Explores operator overloading in C++, emphasizing internal and external overloads and their application to complex numbers.
Covers inheritance, polymorphism, and casting in object-oriented programming, emphasizing code factorization and generic object manipulation.
Discusses the importance of types, unsound type systems, and inductively defined relations for a small language's type system.
