kirancodes.me
To Proof Maintenance & Beyond!
kirancodes.mepldb wrapped
Daniel P. Friedman
15 papers
cited 164×
cites 42
Reply guy/gal
Matthew Flatt
cited you 8×
Mutuals
  1. Paul Hudak3 ⇄ 3
  2. William R. Cook3 ⇄ 4
  3. Dominic Duggan2 ⇄ 2
  4. Philip Wadler2 ⇄ 2
  5. Andrzej Filinski1 ⇄ 1
you ⇄ them
Parasocial crush
Jens Palsberg
you: 4 · them: 0
Secret admirer
Frank Tip
them: 6 · you: 0
Main character
Backtracking, interleaving, and terminating monad transformers: (functional…
ICFP 2005 · cited 36×
Ratio'd
Deriving backtracking monad transformers
ICFP 2000 · cited 29× · by your 36×
Vintage
You cite like it's 1992
Deepest dig
Reasoning About Programs
POPL 1973
Lamport number4
  1. you
  2. Matthias Felleisen
  3. Cormac Flanagan
  4. Martín Abadi
  5. Leslie 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.