kirancodes.me
To Proof Maintenance & Beyond!
kirancodes.mepldb wrapped
William L. Harrison
4 papers
cited 3×
cites 29
Reply guy/gal
Ana Bove
cited you 1×
Mutuals
  1. Manuel M. T. Chakravarty1 ⇄ 1
you ⇄ them
Parasocial crush
John C. Mitchell
you: 4 · them: 0
Main character
The logic of demand in Haskell
JFP 2005 · cited 3×
Vintage
You cite like it's 1997
Deepest dig
An Ideal Model for Recursive Polymorphic Types
POPL 1984
Lamport number6
  1. you
  2. Richard B. Kieburtz
  3. Tim Sheard
  4. Stephanie Weirich
  5. J. Gregory Morrisett
  6. Fred B. Schneider
  7. Leslie Lamport

Load-bearing co-author: Richard B. Kieburtz. Without them: ∞.

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.