kirancodes.me
To Proof Maintenance & Beyond!
kirancodes.mepldb wrapped
Neil Ghani
10 papers
cited 86×
cites 32
Reply guy/gal
Dominique Devriese
cited you 7×
Mutuals
  1. James Chapman2 ⇄ 2
  2. Philip Wadler2 ⇄ 2
  3. Anders Mörtberg1 ⇄ 3
  4. Andrea Vezzosi1 ⇄ 3
  5. Andreas Abel1 ⇄ 2
you ⇄ them
Parasocial crush
Josef Svenningsson
you: 4 · them: 0
Secret admirer
Kenji Maillard
them: 6 · you: 0
Main character
Indexed containers
JFP 2015 · cited 24×
Ratio'd
Parametricity, type equality, and higher-order polymorphism
JFP 2010 · cited 8× · by your 10×
Vintage
You cite like it's 2003
Deepest dig
The Essence of Functional Programming
POPL 1992
Lamport number4
  1. you
  2. C. Barry Jay
  3. Jens Palsberg
  4. Martín Abadi
  5. Leslie Lamport

Load-bearing co-author: C. Barry Jay. 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.