pldb wrapped

LDLuís Damas

3 papers

cited 263×

cites 3

Reply guy/gal

BCSBruno C. d. S. Oliveira

cited you 8×

Mutuals

1. AJKA. J. Kfoury1 ⇄ 3
2. JBWJ. B. Wells1 ⇄ 5

you ⇄ them

Secret admirer

Stephanie Weirich

them: 8 · you: 0

Main character

Principal Type-Schemes for Functional Programs

POPL 1982 · cited 264×

Deepest dig

Compilation of Head and Strong Reduction

ESOP 1994

Lamport number5

1. LDyou
2. RMRobin Milner
3. DNTDavid N. Turner
4. BCPBenjamin C. Pierce
5. MAMartín Abadi
6. LLLeslie Lamport

Load-bearing co-author: Robin Milner. Without them: 6.

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.