Demo Data from VLDB 2026 / reviewers in the wild / expert
Stefan Malewski
dblp:305/1122
· DBLP profile ↗
1ranked-venue papers
1as first author
1since 2021 · last 2021
0000-0002-9187-0575ORCID · reported
Domains — the database's venue-derived domains; a paper can count in several
Software engineering, systems software and programming languages · 1 · 1 first-author · 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 4 heaviest of 4, each with the papers that count most for it
| Topic | Weight | Papers | Last | Evidence papers |
|---|---|---|---|---|
Programming languages and type systems › functional programming
algebraic data types |
0.5 | 1 | 2021 | Gradually structured data · Proc. ACM Program. Lang. 2021 |
Programming languages and type systems › type systems
gradual typing |
0.5 | 1 | 2021 | Gradually structured data · Proc. ACM Program. Lang. 2021 |
Programming languages and type systems › type systems › polymorphism
row polymorphism |
0.5 | 1 | 2021 | Gradually structured data · Proc. ACM Program. Lang. 2021 |
Programming languages and type systems
type systems |
0.5 | 1 | 2021 | Gradually structured data · Proc. ACM Program. Lang. 2021 |
Methods — techniques the papers use, named apart from their topics
set-theoretic types · 0.5row polymorphism · 0.5gradual typing · 0.5algebraic data types · 0.5
| Year | Publication | Venue | Position |
|---|---|---|---|
| 2021 | Gradually structured dataabstractDynamically-typed languages offer easy interaction with ad hoc data such as JSON and S-expressions; statically-typed languages offer powerful tools for working with structured data, notably algebraic datatypes , which are a core feature of typed languages both functional and otherwise. Gradual typing aims to reconcile dynamic and static typing smoothly. The gradual typing literature has extensively focused on the computational aspect of types, such as type safety, effects, noninterference, or parametricity, but the application of graduality to data structuring mechanisms has been much less explored. While row polymorphism and set-theoretic types have been studied in the context of gradual typing, algebraic datatypes in particular have not, which is surprising considering their wide use in practice. We develop, formalize, and prototype a novel approach to gradually structured data with algebraic datatypes. Gradually structured data bridges the gap between traditional algebraic datatypes and flexible data management mechanisms such as tagged data in dynamic languages, or polymorphic variants in OCaml. We illustrate the key ideas of gradual algebraic datatypes through the evolution of a small server application from dynamic to progressively more static checking, formalize a core functional language with gradually structured data, and establish its metatheory, including the gradual guarantees. Stefan Malewski, Michael Greenberg 0002, Éric Tanter |
Proc. ACM Program. Lang. | 1 |