pldb wrapped

LPLars Pareto

2 papers

cited 103×

cites 3

Reply guy/gal

MHMartin Hofmann

cited you 13×

Secret admirer

JHJan Hoffmann

them: 10 · you: 0

Main character

Proving the Correctness of Reactive Systems Using Sized Types

POPL 1996 · cited 75×

Ratio'd

An Ideal Model for Recursive Polymorphic Types

POPL 1984 · cited 55× · by your 75×

Deepest dig

An Ideal Model for Recursive Polymorphic Types

POPL 1984

Lamport number4

1. LPyou
2. ASAmr Sabry
3. CFCormac Flanagan
4. MAMartín Abadi
5. LLLeslie 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.