A History of Subtyping / What Does Subtyping Mean? (Video / Slides) (www.youtube.com)
from armchair_progamer@programming.dev to programming_languages@programming.dev on 29 Nov 2023 00:55
https://programming.dev/post/6539514

Slides: www.cis.upenn.edu/…/2023-PLMW-Subtyping.pdf

By Benjamin C. Pierce, who also wrote Types and Programming Languages

#programming_languages