A History of Subtyping / What Does Subtyping Mean? (Video / Slides)
A History of Subtyping / What Does Subtyping Mean? (Video / Slides)
Slides: https://www.cis.upenn.edu/%7Ebcpierce/papers/2023-PLMW-Subtyping.pdf
By Benjamin C. Pierce, who also wrote Types and Programming Languages