Plait Subtyping 1 - records

(5:59)

Plait Subtyping 3 - record fields

(2:51)

Plait Subtyping 2 - subtypes

(6:47)

Plait Subtyping 6 - terminology

(1:35)

Plait Subtyping 7 - mutable records

(5:17)

Plait Subtyping 4 - function results

(2:51)

Plait Subtyping 5 - function arguments

(4:19)

The Simple Essence of Algebraic Subtyping: Principal Type Inference with Subtyping Ma... (ICFP 2020)

(14:39)

Function/Method subtyping is always contravariant in its argument - covariant is unsound

(30)

[APLAS] A Calculus with Recursive Types, Record Concatenation and Subtyping

(25:26)

Revisiting Iso-Recursive Subtyping

(13:2)

The Duality of Subtyping

(15:51)

A Theory of Higher-Order Subtyping with Type Intervals

(14:1econd)

Plait Typed Class 5 - subtypes

(3:20)

[POPL'23] Recursive Subtyping for All

(25:29)

Daniel Westheide – The trouble with subtyping: An introduction to typebounds and variance

(32:13)

Decidable Subtyping for Path Dependent Types

(18:59)

Subtyping and Subclassing

(1:8:1econd)

structural subtyping in python with Protocol! (intermediate) anthony explains #164

(9:3)