4.4 Subtyping and Generics

(15:3)

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

(30)

Study of the Subtyping Machine of Nominal Subtyping with Variance

(14:24)

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

(14:39)

[PLDI24] Decidable Subtyping of Existential Types for Julia

(19:12)

Polymorphism, subtyping and type inference in MLsub -- Stephen Dolan - Alan Mycroft

(22:24)

Plait Subtyping 4 - function results

(2:51)

Revisiting Iso-Recursive Subtyping

(13:2)

Advanced Java tutorial - Generics \u0026 Subtyping

(5:13)

Inheritance vs. Subtyping (webinar #24)

(51:41)

A Theory of Higher-Order Subtyping with Type Intervals

(14:1econd)

Subtyping (in Scala)

(5:50)

The Duality of Subtyping

(15:51)

Inclusion Polymorphism (Inheritance and Subtyping using Scala)

(9:26)

Decidable Subtyping for Path Dependent Types

(18:59)

447 subtyping

(28:10)

Subtyping Composables - TypeAlias Show Clip

(7:1econd)

Plait Subtyping 2 - subtypes

(6:47)