Parametric Subtyping for Structural Parametric Polymorphism

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.

[POPL'24] Parametric Subtyping for Structural Parametric Polymorphism