pldb wrapped

JMJohn Maraist

2 papers

cited 82×

cites 20

Reply guy/gal

ASAmr Sabry

cited you 8×

Mutuals

1. JLJohn Launchbury2 ⇄ 2
2. LMLuc Maranget2 ⇄ 2
3. SLPSimon L. Peyton Jones2 ⇄ 5
4. MFMatthias Felleisen1 ⇄ 1

you ⇄ them

Parasocial crush

JLJean-Jacques Lévy

you: 3 · them: 0

Secret admirer

OKOleg Kiselyov

them: 6 · you: 0

Main character

The Call-by-Need Lambda Calculus

POPL 1995 · cited 63×

Ratio'd

Explicit Substitutions

JFP 1991 · cited 61× · by your 63×

Vintage

You cite like it's 1991

Deepest dig

Efficient compilation of lazy evaluation

PLDI 1984

Lamport number4

1. JMyou
2. MFMatthias Felleisen
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.