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

Functional Programming Principles in Scala
École Polytechnique Fédérale de Lausanne via Coursera Software Analysis & Testing
Georgia Institute of Technology via Udacity Go: The Complete Developer's Guide (Golang)
Udemy Go Bootcamp: Master Golang with 1000+ Exercises and Projects
Udemy C++ in Detail: Common Idioms
Udemy