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

NodeJS Unleashed: From Basics to Brilliance
Udemy Write a Mini Game in Scala
Coursera Project Network via Coursera Scala Applied, Part 1
Udemy TypeScript Tutorial
YouTube Haskell for Imperative Programmers
YouTube