EDBT 2026 Demo / reviewers in the wild / expert
Eric Wieser
dblp:202/8163
· DBLP profile ↗
3ranked-venue papers
3as first author
3since 2021 · last 2024
0000-0003-0412-4978ORCID · corroborated
Domains — the database's venue-derived domains; a paper can count in several
Artificial intelligence and machine learning · 3 · 3 first-author · 3 since 2021Software engineering, systems software and programming languages · 3 · 3 first-author · 3 since 2021Theory of computation · 3 · 3 first-author · 3 since 2021
| Year | Publication | Venue | Position |
|---|---|---|---|
| 2024 | Chaining Extensionality Lemmas in Lean's Mathlib
Eric Wieser |
CICM | 1 |
| 2023 | Multiple-Inheritance Hazards in Dependently-Typed Algebraic Hierarchies
Eric Wieser |
CICM | 1 |
| 2022 | Graded Rings in Lean's Dependent Type Theory
Eric Wieser, Jujian Zhang |
CICM | 1 |