pldb wrapped

JCMJohn C. Mitchell

29 papers

cited 610×

cites 161

Reply guy/gal

BCPBenjamin C. Pierce

cited you 26×

Mutuals

1. MAMartín Abadi9 ⇄ 11
2. JGMJ. Gregory Morrisett7 ⇄ 18
3. KCKarl Crary6 ⇄ 23
4. ABAnindya Banerjee4 ⇄ 4
5. DBMDavid B. MacQueen11 ⇄ 4

you ⇄ them

Parasocial crush

DLDaniel Leivant

you: 7 · them: 0

Secret admirer

ARAndreas Rossberg

them: 17 · you: 0

Main character

Abstract Types Have Existential Type

TOPLAS 1988 · cited 116×

Ratio'd

Using Dependent Types to Express Modular Structure

POPL 1986 · cited 39× · by your 58×

Vintage

You cite like it's 1996

Deepest dig

Types are Not Sets

POPL 1973

Lamport number3

1. JCMyou
2. GDPGordon D. Plotkin
3. MAMartín Abadi
4. 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.