pldb wrapped

WTWalid Taha

18 papers

cited 483×

cites 152

Reply guy/gal

TRTiark Rompf

cited you 27×

Mutuals

1. OKOleg Kiselyov8 ⇄ 23
2. NDJNeil D. Jones7 ⇄ 8
3. CSChung-chieh Shan6 ⇄ 11
4. FPFrank Pfenning11 ⇄ 6
5. JCJacques Carette6 ⇄ 9

you ⇄ them

Parasocial crush

RDRowan Davies

you: 7 · them: 0

Secret admirer

NXNingning Xie

them: 25 · you: 0

Main character

Gradual Typing for Objects

ECOOP 2007 · cited 129×

Ratio'd

Compiling Polymorphism Using Intensional Type Analysis

POPL 1995 · cited 101× · by your 129×

Vintage

You cite like it's 1999

Deepest dig

Principal Type-Schemes for Functional Programs

POPL 1982

Early adopter

cited 1 paper before they were published

e.g. Implicitly Heterogeneous Multi-stage… (2005) → Simple unification-based type inference for GADTs (ICFP 2006)

Lamport number4

1. WTyou
2. PHPaul Hudak
3. JGMJ. Gregory Morrisett
4. FBSFred B. Schneider
5. 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.