Concept

Subtyping

Related lectures (26)

Explores subtyping rules, challenges, and its connection to various forms of polymorphism in programming languages.

Foundations of Scala: Modelling and Type Systems

Covers the foundations of Scala, including modelling recursive types, parameterized types, and variance.

Garbage Collection in Object-Oriented Languages

Explores garbage collection techniques in object-oriented languages, focusing on mostly-copying and generational GC, heap organization, promotion policies, and method dispatch challenges.

Subtyping and Generics

Explores subtyping, generics, type bounds, variance, covariance, and array typing challenges in Java and Scala.

Subtyping and Generics: Variance and Covariance

Explores subtyping, generics, variance, and covariance in Scala, along with collections, arrays, and combinatorial search.

Introduction to Types and Inductive Relations

Explores the significance of types in programming and discusses unsound type systems and inductively defined relations.

Variance: Definition and Typing Rules

Explains variance relationships, typing rules for functions, and variance checks in Scala.

Generics and Subtyping

Covers advanced concepts in generics and subtyping in Java, focusing on LinkedList implementation and List interface.

Object-Oriented Programming: Core Features Analysis

Explores the core features of object-oriented programming, including dynamic dispatch, encapsulation, inheritance, and subtyping, using Java examples and practical insights.

Featherweight Java: Core OO Features Modeling

Introduces Featherweight Java, a minimalistic model to represent core object-oriented features.

Method Dispatch Optimization

Explores method dispatch optimization in object-oriented languages, focusing on inline caching and membership tests.

Subtyping and Generics in Scala

Explores subtyping, generics, and variance in Scala, emphasizing the importance of precise type descriptions and demonstrating practical applications of for expressions.

Variance and Combinatorial Search

Covers subtyping, generics, variance, type bounds, covariance, contravariance, and combinatorial search.

Object-Oriented Programming: Polymorphism

Covers the concept of polymorphism in object-oriented programming, including virtual methods and heterogeneous collections.

Subtyping and Type Calculus

Explores subtyping, type calculus, and type bounds calculation in a system with subtyping, guiding through exercises and proofs step by step.

Compiler Extension Lab

Covers the Compiler Extension Lab, focusing on adding new functionality to a simple functional language compiler.

Polymorphism and Proofs

Covers parametric polymorphism, lists construction, tuples, generic methods, merge sort, and proving program properties.

Algorithmic Subtyping: Transitivity Proof

Explores proving transitivity in algorithmic subtyping through induction and subtype relationships.

Polymorphism 2: Heterogeneous Collections

Explores polymorphism in C++, covering heterogeneous collections, resource management, and memory handling.

Types and Inductive Relations

Discusses the importance of types, unsound type systems, and inductively defined relations for a small language's type system.