Covers parametric polymorphism, lists construction, tuples, generic methods, merge sort, and proving program properties.
Explores subtyping, generics, and variance in Scala, emphasizing the importance of precise type descriptions and demonstrating practical applications of for expressions.
Explores subtyping rules, challenges, and its connection to various forms of polymorphism in programming languages.
Covers blocks, functions, and references in C++, including scope, variables, function usage, interfaces, pointers, and references.
Discusses the importance of types, unsound type systems, and inductively defined relations for a small language's type system.
