kirancodes.me
To Proof Maintenance & Beyond!
kirancodes.mepldb wrapped
Brent A. Yorgey
7 papers
cited 26×
cites 27
Reply guy/gal
Bruno C. d. S. Oliveira
cited you 2×
Mutuals
  1. Andrew M. Pitts1 ⇄ 1
  2. Bruno C. d. S. Oliveira1 ⇄ 2
  3. Conor McBride2 ⇄ 1
  4. François Pottier1 ⇄ 2
  5. Gergo Érdi2 ⇄ 1
you ⇄ them
Parasocial crush
Ross Paterson
you: 4 · them: 0
Secret admirer
Guillaume Allais
them: 2 · you: 0
Main character
Binders unbound
ICFP 2011 · cited 18×
Ratio'd
A Theory of Hygienic Macros
ESOP 2008 · cited 17× · by your 18×
Vintage
You cite like it's 2008
Deepest dig
Shapely Types and Shape Polymorphism
ESOP 1994
Lamport number4
  1. you
  2. Stephanie Weirich
  3. J. Gregory Morrisett
  4. Fred B. Schneider
  5. Leslie Lamport

Load-bearing co-author: Stephanie Weirich. 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.