Explores method dispatch optimization in object-oriented languages, focusing on inline caching and membership tests.
Explores subtyping, generics, and variance in Scala, emphasizing the importance of precise type descriptions and demonstrating practical applications of for expressions.
Explores subtyping, type calculus, and type bounds calculation in a system with subtyping, guiding through exercises and proofs step by step.
Covers the Compiler Extension Lab, focusing on adding new functionality to a simple functional language compiler.
Covers parametric polymorphism, lists construction, tuples, generic methods, merge sort, and proving program properties.
Discusses the importance of types, unsound type systems, and inductively defined relations for a small language's type system.
