pldb wrapped

GGGaëtan Gilbert

3 papers

cited 34×

cites 20

Reply guy/gal

KMKenji Maillard

cited you 6×

Mutuals

1. TWThéo Winterhalter4 ⇄ 6
2. LPLoïc Pujet2 ⇄ 4
3. MLMeven Lennon-Bertrand2 ⇄ 4
4. YFYannick Forster2 ⇄ 2
5. AAArthur Adjedj1 ⇄ 1

you ⇄ them

Parasocial crush

AAAndreas Abel

you: 2 · them: 0

Secret admirer

TDTomás Díaz

them: 3 · 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 2019

Deepest dig

Introduction to Generalized Type Systems

JFP 1991

Lamport number4

1. GGyou
2. KMKenji Maillard
3. CFCédric Fournet
4. MAMartín Abadi
5. LLLeslie Lamport

Load-bearing co-author: Kenji Maillard. 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.