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 Functional Program Design in Scala
École Polytechnique Fédérale de Lausanne via Coursera Paradigms of Computer Programming
Université catholique de Louvain via edX Introduction to Functional Programming
Delft University of Technology via edX Paradigms of Computer Programming – Fundamentals
Université catholique de Louvain via edX