pldb wrapped

BSBas Spitters

8 papers

cited 32×

cites 67

Reply guy/gal

DADanel Ahman

cited you 3×

Mutuals

1. NTNicolas Tabareau6 ⇄ 3
2. TWThéo Winterhalter3 ⇄ 3
3. ADAntoine Delignat-Lavaud1 ⇄ 1
4. ARAseem Rastogi1 ⇄ 1
5. CFCédric Fournet1 ⇄ 1

you ⇄ them

Parasocial crush

AWAAndrew W. Appel

you: 6 · them: 0

Secret admirer

LBLars Birkedal

them: 3 · you: 0

Main character

The HoTT library: a formalization of homotopy type theory in Coq

CPP 2017 · cited 14×

Vintage

You cite like it's 2016

Deepest dig

Extracting F(omega)'s Programs from Proofs in the Calculus of Constructions

POPL 1989

Lamport number4

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