Andreia Mordido, LASIGE integrated member, and co-authors were invited to publish a blog post related to the paper “Parametric Subtyping for Structural Parametric Polymorphism” at the ACM SIGPLAN blog called PL Perspectives.

In their blog post, the authors present the notion of parametricity for type constructors and illustrate the novel concept of parametric subtyping through examples, which makes the content of the paper easier to read for members of the programming language community.

The paper “Parametric Subtyping for Structural Parametric Polymorphism” was presented at POPL 2024 and was selected for a Distinguished Paper Award.