pldb wrapped

Stephanie Weirich

@fancytypes.bsky.social

60 papers

cited 893×

cites 737

Reply guy/gal

BCSBruno C. d. S. Oliveira

cited you 79×

Mutuals

1. PWPhilip Wadler24 ⇄ 17
2. ZSZhong Shao15 ⇄ 16
3. NVNiki Vazou14 ⇄ 21
4. SPJSimon Peyton Jones13 ⇄ 23
5. JBJean-Philippe Bernardy14 ⇄ 11

you ⇄ them

Parasocial crush

MPJMark P. Jones

you: 15 · them: 0

Secret admirer

NXNingning Xie

them: 28 · you: 0

Main character

Simple unification-based type inference for GADTs

ICFP 2006 · cited 112×

Ratio'd

Guarded recursive datatype constructors

POPL 2003 · cited 92× · by your 112×

Vintage

You cite like it's 2008

Deepest dig

A Lazy Evaluator

POPL 1976

Early adopter

cited 3 papers before they were published

e.g. PolyAML: a polymorphic aspect-oriented… (2005) → Stratified type inference for generalized… (POPL 2006)

Lamport number3

1. you
2. JGMJ. Gregory Morrisett
3. FBSFred B. Schneider
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.