pldb wrapped

JVJerome Vouillon

13 papers

cited 210×

cites 75

Reply guy/gal

RKRobbert Krebbers

cited you 18×

Mutuals

1. VGVladimir Gapeyev4 ⇄ 4
2. AFAlain Frisch3 ⇄ 6
3. BCPBenjamin C. Pierce4 ⇄ 3
4. MYLMichael Y. Levin5 ⇄ 3
5. ACAdam Chlipala2 ⇄ 4

you ⇄ them

Parasocial crush

LCLuca Cardelli

you: 4 · them: 0

Secret admirer

LBLars Birkedal

them: 17 · you: 0

Main character

A very modal model of a modern, major, general type system

POPL 2007 · cited 71×

Ratio'd

An Ideal Model for Recursive Polymorphic Types

POPL 1984 · cited 55× · by your 71×

Vintage

You cite like it's 2001

Deepest dig

An Ideal Model for Recursive Polymorphic Types

POPL 1984

Early adopter

cited 2 papers before they were published

e.g. Regular expression types for XML (2000) → Regular expression pattern matching for XML (POPL 2001)

Lamport number3

1. JVyou
2. BCPBenjamin C. Pierce
3. MAMartín Abadi
4. 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.