pldb wrapped

NTNicolas Tabareau

26 papers

cited 195×

cites 260

Reply guy/gal

TWThéo Winterhalter

cited you 17×

Mutuals

1. AAAmal Ahmed15 ⇄ 10
2. RGRonald Garcia28 ⇄ 9
3. JEJoseph Eremondi8 ⇄ 9
4. Max S. New9 ⇄ 7
5. Stephanie Weirich7 ⇄ 7

you ⇄ them

Parasocial crush

PWPhilip Wadler

you: 12 · them: 0

Secret admirer

JZSJason Z. S. Hu

them: 10 · you: 0

Main character

Definitional proof-irrelevance without K

POPL 2019 · cited 30×

Ratio'd

Pattern matching without K

ICFP 2014 · cited 17× · by your 30×

Vintage

You cite like it's 2015

Deepest dig

Principal Type-Schemes for Functional Programs

POPL 1982

Lamport number4

1. NTyou
2. KMKenji Maillard
3. CFCédric Fournet
4. MAMartín Abadi
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.