pldb wrapped

MSMatthieu Sozeau

13 papers

cited 124×

cites 97

Reply guy/gal

KMKenji Maillard

cited you 12×

Mutuals

1. JCJesper Cockx6 ⇄ 6
2. MLMeven Lennon-Bertrand4 ⇄ 10
3. DDDominique Devriese7 ⇄ 3
4. LPLoïc Pujet3 ⇄ 6
5. PPPierre-Marie Pédrot6 ⇄ 3

you ⇄ them

Parasocial crush

Derek Dreyer

you: 8 · them: 0

Secret admirer

CACezar-Constantin Andrici

them: 4 · you: 0

Main character

Definitional proof-irrelevance without K

POPL 2019 · cited 30×

Ratio'd

The next 700 syntactical models of type theory

CPP 2017 · cited 28× · by your 30×

Vintage

You cite like it's 2015

Deepest dig

Principal Type-Schemes for Functional Programs

POPL 1982

Lamport number4

1. MSyou
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.