pldb wrapped

GMGuillaume Munch-Maccagnoni

3 papers

cited 10×

cites 27

Reply guy/gal

AKHAndrew K. Hirsch

cited you 1×

Mutuals

1. Dominic Orchard1 ⇄ 1

you ⇄ them

Parasocial crush

AFAndrzej Filinski

you: 4 · them: 0

Main character

A theory of effects and resources: adjunction models and polarised calculi

POPL 2016 · cited 12×

Ratio'd

A type-theoretic foundation of continuations and prompts

ICFP 2004 · cited 7× · by your 12×

Vintage

You cite like it's 2004

Deepest dig

A Formulae-as-Types Notion of Control

POPL 1990

Lamport number3

1. GMyou
2. PCPierre-Louis Curien
3. MAMartín Abadi
4. LLLeslie Lamport

Load-bearing co-author: Pierre-Louis Curien. Without them: 5.

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.