kirancodes.me
To Proof Maintenance & Beyond!
kirancodes.mepldb wrapped
Christine Tasson
2 papers
cited 40×
cites 4
Reply guy/gal
Ugo Dal Lago
cited you 7×
Mutuals
  1. Andrew D. Gordon1 ⇄ 1
  2. Johannes Borgström1 ⇄ 1
  3. Marcin Szymczak1 ⇄ 1
  4. Sam Staton1 ⇄ 5
  5. Ugo Dal Lago1 ⇄ 7
you ⇄ them
Secret admirer
Alejandro Aguirre
them: 5 · you: 0
Main character
Probabilistic coherence spaces are fully abstract for probabilistic PCF
POPL 2014 · cited 26×
Ratio'd
Principality and Decidable Type Inference for Finite-Rank Intersection Types
POPL 1999 · cited 16× · by your 26×
Deepest dig
Principality and Decidable Type Inference for Finite-Rank Intersection Types
POPL 1999
Lamport number6
  1. you
  2. Michele Pagani
  3. Aloïs Brunel
  4. Steve Zdancewic
  5. J. Gregory Morrisett
  6. Fred B. Schneider
  7. 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.