Mediaspace scheduled maintenance: Aug 25, 2026 07:00 - 12:00 AM. During this time, videos will be temporarily unavailable. Check status updates.

Lecture

Subtyping and Polymorphism

Related lectures (35)

Foundations of Scala: Modelling and Type Systems

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

Types and Inductive Relations

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

Introduction to Types and Inductive Relations

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

Polymorphism and Proofs

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

Subtyping and Generics

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

Taming Null References

Explores the challenges of null references in programming languages and proposes solutions to mitigate their drawbacks while ensuring compatibility with existing codebases.

Variance and Combinatorial Search

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

Type Checking and Reconstruction: Equations and Unification

Delves into type checking, reconstruction, equations, unification, Hindley/Milner system, polymorphism, and principal types.

Type Systems: Preservation and Typing Rules

Covers preservation, substitution, weakening, and sequencing in type systems.

Verified Functional Programming: Nicolas Voirol public PhD thesis defense

Explores verified functional programming, formal verification, SMT solvers, type checking, Scala features, automation, and dependent types.

Verifying Compiler: Spec# Approach

Explores the Spec# programming system, focusing on a verifying compiler for C# 2.0.

Polymorphism in Object-Oriented Programming: Inclusion Mechanism

Covers polymorphism in object-oriented programming, focusing on inclusion polymorphism and its implementation through class hierarchies and virtual methods.

Compiler Extension Lab

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

Types in Lambda Calculus

Covers types in lambda calculus, including defining types, specifying rules, and proving soundness.

Functions: Python Basics

Covers the basics of functions in Python, including their definition, purpose, and usage.

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.

Dependent Types in Programming Languages

Explores maps, type operators, equivalence, first-class types, System Fw, Coq, and the challenges of type checking in programming languages.

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.

Garbage Collection in Object-Oriented Languages Log in to Mediaspace to watch this video

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