pldb wrapped

RMRobin Milner

7 papers

cited 296×

cites 11

Reply guy/gal

AOAtsushi Ohori

cited you 8×

Mutuals

1. GBGérard Boudol4 ⇄ 2
2. JHRJohn H. Reppy1 ⇄ 4
3. MAMartín Abadi1 ⇄ 1

you ⇄ them

Parasocial crush

GBGérard Berry

you: 4 · them: 0

Secret admirer

BCSBruno C. d. S. Oliveira

them: 8 · you: 0

Main character

Principal Type-Schemes for Functional Programs

POPL 1982 · cited 264×

Vintage

You cite like it's 1991

Deepest dig

Reasoning About Programs

POPL 1973

Lamport number4

1. RMyou
2. DNTDavid N. Turner
3. BCPBenjamin C. Pierce
4. MAMartín Abadi
5. LLLeslie Lamport

Load-bearing co-author: David N. Turner. Without them: 5.

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.