pldb wrapped

JCJesper Cockx

16 papers

cited 82×

cites 103

Reply guy/gal

KMKenji Maillard

cited you 12×

Mutuals

1. MSMatthieu Sozeau6 ⇄ 6
2. PPPierre-Marie Pédrot4 ⇄ 5
3. AVAndrea Vezzosi4 ⇄ 3
4. AKAmbrus Kaposi2 ⇄ 2
5. SPJSimon Peyton Jones2 ⇄ 2

you ⇄ them

Parasocial crush

BPBrigitte Pientka

you: 6 · them: 0

Secret admirer

CMCyprien Mangin

them: 5 · 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 2013

Deepest dig

Reflection and Semantics in Lisp

POPL 1984

Lamport number4

1. JCyou
2. PWPhilip Wadler
3. BCPBenjamin C. Pierce
4. MAMartín Abadi
5. LLLeslie Lamport

Load-bearing co-author: Philip Wadler. 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.