pldb wrapped

SMStefan Monnier

10 papers

cited 70×

cites 129

Reply guy/gal

VTValery Trifonov

cited you 8×

Mutuals

1. Stephanie Weirich5 ⇄ 5
2. ACAdam Chlipala3 ⇄ 3
3. VTValery Trifonov3 ⇄ 8
4. BSBratin Saha2 ⇄ 2
5. JGMJ. Gregory Morrisett16 ⇄ 2

you ⇄ them

Parasocial crush

DWDavid Walker

you: 6 · them: 0

Secret admirer

JYJeremy Yallop

them: 6 · you: 0

Main character

Implementing Typed Intermediate Languages

ICFP 1998 · cited 21×

Ratio'd

Deciding ML Typability is Complete for Deterministic Exponential Time

POPL 1990 · cited 17× · by your 21×

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. A type-preserving closure conversion in… (2007) → Boxes go bananas: Encoding higher-order abstract… (JFP 2008)

Lamport number5

1. SMyou
2. JJJunyoung Jang
3. STSerdar Tasiran
4. RARajeev Alur
5. RPKRobert P. Kurshan
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.