pldb wrapped

RBFRobert Bruce Findler

58 papers

cited 972×

cites 595

Reply guy/gal

JGSJeremy G. Siek

cited you 64×

Mutuals

1. MFMatthias Felleisen50 ⇄ 49
2. Sam Tobin-Hochstadt46 ⇄ 59
3. JGSJeremy G. Siek34 ⇄ 64
4. PWPhilip Wadler21 ⇄ 24
5. TSST. Stephen Strickland20 ⇄ 32

you ⇄ them

Parasocial crush

GDPGordon D. Plotkin

you: 9 · them: 0

Secret admirer

BCSBruno C. d. S. Oliveira

them: 28 · you: 0

Main character

Contracts for higher-order functions

ICFP 2002 · cited 183×

Ratio'd

Abstract Types Have Existential Type

TOPLAS 1988 · cited 116× · by your 183×

Vintage

You cite like it's 2007

Deepest dig

Types are Not Sets

POPL 1973

Early adopter

cited 1 paper before they were published

e.g. A Semantics for Context-Sensitive… (2011) → The Call-by-Need Lambda Calculus, Revisited (ESOP 2012)

Lamport number3

1. RBFyou
2. CFCormac Flanagan
3. MAMartín Abadi
4. LLLeslie Lamport

Load-bearing co-author: Cormac Flanagan. Without them: 4.

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.