Видео с ютуба Subtyping

Study of the Subtyping Machine of Nominal Subtyping with Variance

Урок 18: ООП. Полиморфизм, 3 типа (Ad hoc, Subtyping, Parametric) // Котлин курс с нуля

Subclassing vs Subtyping

Subtyping Composables - TypeAlias Show Clip

Revisiting Iso-Recursive Subtyping

Advanced Java tutorial - Generics & Subtyping

The Duality of Subtyping

Noninvasive Polarized Subtyping for Inductive Types - Théo Laurent

447 subtyping

[OOPSLA23] Structural Subtyping as Parametric Polymorphism

Subtyping

Subtyping 6 — terminology

Decidable Subtyping for Path Dependent Types

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

[POPL'23] Recursive Subtyping for All

Subtyping and Subclassing

[POPL'24] Parametric Subtyping for Structural Parametric Polymorphism

A Theory of Higher-Order Subtyping with Type Intervals

Subtyping and inheritance (ADAP C03, winter 2021/22)

[UNSOUND24] On Distributive Subtyping with Finitary and Infinitary Unions and Intersections