YoVDO

A History of Subtyping

Offered By: ACM SIGPLAN via YouTube

Tags

Type System Courses Object-oriented programming Courses Functional Programming Courses Polymorphism Courses Type Inference Courses Type Safety Courses Lambda Calculus Courses

Course Description

Overview

Save Big on Coursera Plus. 7,000+ courses at $160 off. Limited Time Only!
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.

Syllabus

[PLMW@ICFP'23] A History of Subtyping


Taught by

ACM SIGPLAN

Related Courses

Using Generics in C#
LinkedIn Learning Java Class Library
LearnQuest via Coursera What's New in Ruby 3
Pluralsight C# Generics
Pluralsight TypeScript Basic: Type System, Interfaces, Types, Generics
Udemy