pldb wrapped

MTMads Tofte

10 papers

cited 292×

cites 59

Reply guy/gal

JGMJ. Gregory Morrisett

cited you 19×

Mutuals

1. AAAlex Aiken5 ⇄ 8
2. RHRobert Harper5 ⇄ 10
3. MFManuel Fähndrich3 ⇄ 7
4. FHFritz Henglein3 ⇄ 2
5. Xavier Leroy2 ⇄ 8

you ⇄ them

Parasocial crush

PJPierre Jouvelot

you: 8 · them: 0

Secret admirer

KCKarl Crary

them: 16 · you: 0

Main character

Implementation of the Typed Call-by-Value lambda-Calculus using a Stack of…

POPL 1994 · cited 121×

Ratio'd

Polymorphic Type, Region and Effect Inference

JFP 1992 · cited 69× · by your 121×

Vintage

You cite like it's 1993

Deepest dig

Advice on Structuring Compilers and Proving Them Correct

POPL 1973

Lamport number4

1. MTyou
2. LBLars Birkedal
3. JGMJ. Gregory Morrisett
4. FBSFred B. Schneider
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.