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

Introduction à la programmation orientée objet (en Java)
École Polytechnique Fédérale de Lausanne via Coursera C++ For C Programmers, Part A
University of California, Santa Cruz via Coursera Introduction to Programming for Musicians and Digital Artists
California Institute of the Arts via Coursera Beginning Game Programming with C#
University of Colorado System via Coursera Paradigms of Computer Programming
Université catholique de Louvain via edX