by Henry DeYoung, Andreia Mordido, Frank Pfenning, and Ankush Das on Jan 29, 2025 | Tags: parametric polymorphism, saturation-based algorithms, structural subtyping
Recursive types, generics (sometimes called parametric polymorphism), and subtyping are all essential features for modern programming languages across numerous paradigms. However, structural subtyping is undecidable in the presence of recursive types and generics. In our POPL 2024 paper and its accompanying implementation, we propose a reconstruction of the interaction between recursive types, generics, and structural subtyping from first principles. We present a notion of parametricity for type constructors that forms the basis of a suitable, decidable fragment of structural subtyping, which we call parametric subtyping.
Read more...
by Rachit Nigam and Alexa VanHattum on Jan 13, 2025 | The Missing Mentoring Pillar The programming languages (PL) community has developed a whole host of mentoring pillars to help new research become a part of our community The Programming Languages Mentoring Workshop (PLMW), our 1-2 day workshop before each of our four...
Read more...
by the PLDI Steering Committee on Jan 2, 2025 | [Note: Since PLDI joined the PACM-PL journal, what was previously called Program Committee is now called Review Committee. In the following, we use the term Program Committee (PC) because it is a better-known term.] Prior to PLDI 2021, the PLDI conference always held...
Read more...
