Class Central is learner-supported. When you buy through links on our site, we may earn an affiliate commission.

YouTube

Parametric Subtyping for Structural Parametric Polymorphism

ACM SIGPLAN via YouTube

Overview

Explore a conference talk from POPL 2024 examining the interaction between structural subtyping and parametric polymorphism. Delve into the concept of parametric subtyping, a decidable and expressive fragment of structural subtyping that generalizes rigid subtyping. Learn about the researchers' development of a saturation-based decision procedure for parametric subtyping, complete with proofs of correctness and practical examples demonstrating its applicability. Gain insights into how this approach addresses challenges in type systems involving recursively defined type constructors. Access the full research article, supplementary materials, and reusable artifacts to further understand the implications of this work for programming language theory and practice.

Syllabus

[POPL'24] Parametric Subtyping for Structural Parametric Polymorphism

Taught by

ACM SIGPLAN

Reviews

Start your review of Parametric Subtyping for Structural Parametric Polymorphism

Never Stop Learning.

Get personalized course recommendations, track subjects and courses with reminders, and more.

Someone learning on their laptop while sitting on the floor.