pldb wrapped

HGMHarry G. Mairson

17 papers

cited 63×

cites 76

Reply guy/gal

MMMatthew Might

cited you 10×

Mutuals

1. AAAndrea Asperti1 ⇄ 2
2. JPJens Palsberg3 ⇄ 1
3. MMMatthew Might1 ⇄ 10
4. OSOlin Shivers3 ⇄ 1
5. ODOlivier Danvy1 ⇄ 2

you ⇄ them

Parasocial crush

GGGeorges Gonthier

you: 6 · them: 0

Secret admirer

BABeniamino Accattoli

them: 8 · you: 0

Main character

Deciding ML Typability is Complete for Deterministic Exponential Time

POPL 1990 · cited 17×

Ratio'd

A calculus with polymorphic and polyvariant flow types

JFP 2002 · cited 16× · by your 17×

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. A Constructive Logic of Multiple… (1993) → A Paradigmatic Object-Oriented Programming… (JFP 1994)

Lamport number5

1. HGMyou
2. DVHDavid Van Horn
3. MWHMichael W. Hicks
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.