EDBT 2026 Demo / reviewers in the wild / expert
Brian P. Dunphy
dblp:61/5802
· DBLP profile ↗
2ranked-venue papers
1as first author
0since 2021 · last 2012
—ORCID · none
Domains — the database's venue-derived domains; a paper can count in several
Theory of computation · 2 · 1 first-author
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.
| Theoretical computer science
2 papers |
Logic in computer science · 100% | |
| Software engineering, system software, and programming languages
1 paper |
Programming languages and type systems · 100% |
Topics — the 7 heaviest of 7, each with the papers that count most for it
| Topic | Weight | Papers | Last | Evidence papers |
|---|---|---|---|---|
Logic in computer science › semantics
game semantics |
0.1 | 1 | 2012 | An Automata-Theoretic Model of Idealized Algol - (Extended Abstract) · ICALP (2) 2012 |
Logic in computer science
semantics |
0.1 | 1 | 2012 | An Automata-Theoretic Model of Idealized Algol - (Extended Abstract) · ICALP (2) 2012 |
Programming languages and type systems › type systems › polymorphism
parametric polymorphism |
0.0 | 1 | 2004 | Parametric Limits · LICS 2004 |
Programming languages and type systems › lambda calculus
polymorphic lambda calculus |
0.0 | 1 | 2004 | Parametric Limits · LICS 2004 |
Logic in computer science › proof theory › substructural logic › linear logic
categorical models |
0.0 | 1 | 2004 | Parametric Limits · LICS 2004 |
Logic in computer science › semantics
denotational semantics |
0.0 | 1 | 2004 | Parametric Limits · LICS 2004 |
Logic in computer science
type theory |
0.0 | 1 | 2004 | Parametric Limits · LICS 2004 |
Methods — techniques the papers use, named apart from their topics
automata theory · 0.1reflexive graphs · 0.1fibrations · 0.1
| Year | Publication | Venue | Position |
|---|---|---|---|
| 2012 | An Automata-Theoretic Model of Idealized Algol - (Extended Abstract)
Uday S. Reddy, Brian P. Dunphy |
ICALP (2) | 2 |
| 2004 | Parametric LimitsabstractWe develop a categorical model of polymorphic lambda calculi using the notion of parametric limits, which extend the notion of limits in categories to reflexive graphs of categories. We show that a number of parametric models of polymorphism can be captured in this way. We also axiomatize the structure of reflexive graphs needed for modelling parametric polymorphism based on ideas of fibrations, and show that it leads to proofs of representation results such as the initial algebra and final coalgebra properties one expects in polymorphic lambda calculi. Brian P. Dunphy, Uday S. Reddy |
LICS | 1 |