pldb wrapped

NWNiels van der Weide

5 papers

cited 9×

cites 32

Reply guy/gal

AMAnders Mörtberg

cited you 2×

Mutuals

1. AMAnders Mörtberg2 ⇄ 2
2. AVAndrea Vezzosi2 ⇄ 1
3. CACarlo Angiuli1 ⇄ 1
4. CKClemens Kupke1 ⇄ 1
5. ECEvan Cavallo1 ⇄ 1

you ⇄ them

Parasocial crush

DRLDaniel R. Licata

you: 3 · them: 0

Main character

Finite sets in homotopy type theory

CPP 2018 · cited 7×

Ratio'd

Homotopical patch theory

JFP 2016 · cited 6× · by your 7×

Vintage

You cite like it's 2016

Deepest dig

Explicit Substitutions

JFP 1991

Lamport number5

1. NWyou
2. VCVikraman Choudhury
3. RJRanjit Jhala
4. KLMKenneth L. McMillan
5. RPKRobert P. Kurshan
6. 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.