Demo Data from VLDB 2026 / reviewers in the wild / expert
Rongxiao Fu
dblp:289/2254
· DBLP profile ↗
1ranked-venue papers
0as first author
1since 2021 · last 2023
0009-0005-6966-4037ORCID · reported
Domains — the database's venue-derived domains; a paper can count in several
Software engineering, systems software and programming languages · 1 · 1 since 2021
Expertise — from the expertise taxonomy: the topics of the expert's papers under the CCF categories. A weight counts papers with recency: 1 for a paper about the topic, 0.3 when the topic is its context, halved every five years.
| Software engineering, system software, and programming languages
1 paper |
Programming languages and type systems · 100% |
Topics — the 3 heaviest of 3, each with the papers that count most for it
| Topic | Weight | Papers | Last | Evidence papers |
|---|---|---|---|---|
Programming languages and type systems › type systems › polymorphism
parametric polymorphism |
0.7 | 1 | 2023 | Structural Subtyping as Parametric Polymorphism · Proc. ACM Program. Lang. 2023 |
Programming languages and type systems › type systems › subtyping
structural subtyping |
0.7 | 1 | 2023 | Structural Subtyping as Parametric Polymorphism · Proc. ACM Program. Lang. 2023 |
Programming languages and type systems
lambda calculus |
0.2 | 1 | 2023 | Structural Subtyping as Parametric Polymorphism · Proc. ACM Program. Lang. 2023 |
Methods — techniques the papers use, named apart from their topics
type preservation proof · 0.7operational correspondence · 0.7compositional translation · 0.7
| Year | Publication | Venue | Position |
|---|---|---|---|
| 2023 | Structural Subtyping as Parametric PolymorphismabstractStructural subtyping and parametric polymorphism provide similar flexibility and reusability to programmers. For example, both features enable the programmer to provide a wider record as an argument to a function that expects a narrower one. However, the means by which they do so differs substantially, and the precise details of the relationship between them exists, at best, as folklore in literature. In this paper, we systematically study the relative expressive power of structural subtyping and parametric polymorphism. We focus our investigation on establishing the extent to which parametric polymorphism, in the form of row and presence polymorphism, can encode structural subtyping for variant and record types. We base our study on various Church-style λ-calculi extended with records and variants, different forms of structural subtyping, and row and presence polymorphism. We characterise expressiveness by exhibiting compositional translations between calculi. For each translation we prove a type preservation and operational correspondence result. We also prove a number of non-existence results. By imposing restrictions on both source and target types, we reveal further subtleties in the expressiveness landscape, the restrictions enabling otherwise impossible translations to be defined. More specifically, we prove that full subtyping cannot be encoded via polymorphism, but we show that several restricted forms of subtyping can be encoded via particular forms of polymorphism. Daniel Hillerström, James McKinna, Michel Steuwer, Ornela Dardha, Rongxiao Fu, Sam Lindley |
Proc. ACM Program. Lang. | 6 |