pldb wrapped

ADAllyn Dimock

4 papers

cited 48×

cites 78

Reply guy/gal

JHRJohn H. Reppy

cited you 5×

Mutuals

1. KCKarl Crary3 ⇄ 3
2. CCCraig Chambers6 ⇄ 2
3. DWDavid Walker2 ⇄ 3
4. JGMJ. Gregory Morrisett7 ⇄ 2
5. NGNeal Glew2 ⇄ 2

you ⇄ them

Parasocial crush

AKWAndrew K. Wright

you: 4 · them: 0

Secret admirer

CHChristian Haack

them: 3 · you: 0

Main character

A calculus with polymorphic and polyvariant flow types

JFP 2002 · cited 16×

Ratio'd

From Polyvariant flow information to intersection and union types

JFP 2001 · cited 12× · by your 16×

Vintage

You cite like it's 1995

Deepest dig

Principal Type-Schemes for Functional Programs

POPL 1982

Early adopter

cited 1 paper before they were published

e.g. Safe and Decidable Type Checking in an… (1993) → A Paradigmatic Object-Oriented Programming… (JFP 1994)

Lamport number5

1. ADyou
2. KBBKim B. Bruce
3. Nate Foster
4. JGMJ. Gregory Morrisett
5. FBSFred B. Schneider
6. LLLeslie Lamport

pldb.kirancodes.me/fun · within PLDB

Counts are citations between papers in PLDB, one per pair of papers; self-citations excluded. Mutuals: you cite each other (you ⇄ them). Older papers have thinner citation data.

Pictures come from Bluesky accounts we could match to dblp names. Not showing yours, or showing the wrong one? Email me.