pldb wrapped

ANAndreas Nuyts

3 papers

cited 10×

cites 25

Reply guy/gal

AAAmal Ahmed

cited you 2×

Mutuals

1. AKAmbrus Kaposi2 ⇄ 2
2. TAThorsten Altenkirch4 ⇄ 2
3. AMAnders Mörtberg3 ⇄ 1
4. AAAndreas Abel5 ⇄ 1
5. CACarlo Angiuli1 ⇄ 1

you ⇄ them

Parasocial crush

CMConor McBride

you: 4 · them: 0

Secret admirer

WJBWilliam J. Bowman

them: 2 · you: 0

Main character

Parametric quantifiers for dependent type theory

ICFP 2017 · cited 10×

Vintage

You cite like it's 2017

Deepest dig

Formal Parametric Polymorphism

POPL 1993

Lamport number5

1. ANyou
2. DDDominique Devriese
3. LBLars Birkedal
4. JGMJ. Gregory Morrisett
5. FBSFred B. Schneider
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.