pldb wrapped

BTBernardo Toninho

18 papers

cited 172×

cites 238

Reply guy/gal

RKRobbert Krebbers

cited you 18×

Mutuals

1. PWPhilip Wadler12 ⇄ 11
2. NYNobuko Yoshida10 ⇄ 6
3. SBStephanie Balzer5 ⇄ 18
4. ASAlceste Scalas6 ⇄ 4
5. AIAtsushi Igarashi6 ⇄ 4

you ⇄ them

Parasocial crush

KHKohei Honda

you: 17 · them: 0

Secret admirer

FDFarzaneh Derakhshan

them: 10 · you: 0

Main character

Higher-Order Processes, Functions, and Sessions: A Monadic Integration

ESOP 2013 · cited 43×

Ratio'd

Types as models: model checking message-passing programs

POPL 2002 · cited 25× · by your 29×

Vintage

You cite like it's 2013

Deepest dig

Principal Type-Schemes for Functional Programs

POPL 1982

Lamport number4

1. BTyou
2. PWPhilip Wadler
3. BCPBenjamin C. Pierce
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.