pldb wrapped

DRDidier Rémy

18 papers

cited 247×

cites 137

Reply guy/gal

BCSBruno C. d. S. Oliveira

cited you 18×

Mutuals

1. BCPBenjamin C. Pierce7 ⇄ 10
2. ARAndreas Rossberg6 ⇄ 7
3. SLPSimon L. Peyton Jones6 ⇄ 9
4. DLDaan Leijen5 ⇄ 7
5. DVDimitrios Vytiniotis5 ⇄ 12

you ⇄ them

Parasocial crush

KCKarl Crary

you: 11 · them: 0

Secret admirer

NXNingning Xie

them: 12 · you: 0

Main character

Typechecking Records and Variants in a Natural Extension of ML

POPL 1989 · cited 70×

Ratio'd

Coercion and Type Inference

POPL 1984 · cited 52× · by your 70×

Vintage

You cite like it's 2002

Deepest dig

Principal Type-Schemes for Functional Programs

POPL 1982

Early adopter

cited 2 papers before they were published

e.g. Simple, partial type-inference for… (2005) → Boxy types: inference for higher-rank types and… (ICFP 2006)

Lamport number2

1. DRyou
2. MAMartín Abadi
3. LLLeslie Lamport

Load-bearing co-author: Martín Abadi. 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.