kirancodes.me
To Proof Maintenance & Beyond!
kirancodes.mepldb wrapped
Arjen Rouvoet
6 papers
cited 62×
cites 114
Reply guy/gal
Aron Zwaan
cited you 9×
Mutuals
  1. Guillaume Allais3 ⇄ 3
  2. Robert Atkey3 ⇄ 3
  3. Conor McBride8 ⇄ 2
  4. James Chapman4 ⇄ 2
  5. James McKinna3 ⇄ 2
you ⇄ them
Parasocial crush
Andrew P. Tolmach
you: 7 · them: 0
Secret admirer
Jules Jacobs
them: 5 · you: 0
Main character
Scopes as types
OOPSLA 2018 · cited 21×
Ratio'd
Binding as sets of scopes
POPL 2016 · cited 19× · by your 21×
Vintage
You cite like it's 2013
Deepest dig
Principal Type-Schemes for Functional Programs
POPL 1982
Lamport number4
  1. you
  2. Andrew Tolmach
  3. Benjamin C. Pierce
  4. Martín Abadi
  5. Leslie Lamport

Load-bearing co-author: Andrew Tolmach. 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.