Explore the evolution and significance of subtyping in programming languages through this 48-minute conference talk by Benjamin C. Pierce at PLMW@ICFP'23. Gain insights into the historical development, key concepts, and practical applications of subtyping in modern programming language design and type systems. Delve into the theoretical foundations and real-world implications of this fundamental concept in computer science.
Overview
Syllabus
[PLMW@ICFP'23] A History of Subtyping
Taught by
ACM SIGPLAN
Related Courses
-
Structural Subtyping as Parametric Polymorphism
-
Programming Languages, Part C
4.0 -
HOL with Dependent Types and Subtyping
-
When Subtyping Constraints Liberate: A Novel Type Inference Approach for First-Class Polymorphism
-
Mutually Iso-Recursive Subtyping - OOPSLA 2023
-
Decidable Subtyping of Existential Types for Julia
