pldb wrapped

CMCyprien Mangin

1 papers

cited 25×

cites 14

Reply guy/gal

YFYannick Forster

cited you 4×

Mutuals

1. BPBrigitte Pientka1 ⇄ 1
2. DDDominique Devriese3 ⇄ 1
3. NTNicolas Tabareau2 ⇄ 1
4. NVNiki Vazou1 ⇄ 2
5. Stephanie Weirich1 ⇄ 1

you ⇄ them

Parasocial crush

JCJesper Cockx

you: 5 · them: 0

Secret admirer

BSBas Spitters

them: 2 · you: 0

Main character

Equations reloaded: high-level dependently-typed functional programming and…

ICFP 2019 · cited 25×

Ratio'd

Total Haskell is reasonable Coq

CPP 2018 · cited 21× · by your 25×

Vintage

You cite like it's 2017

Deepest dig

Proving the Correctness of Reactive Systems Using Sized Types

POPL 1996

Lamport number5

1. CMyou
2. MSMatthieu Sozeau
3. KMKenji Maillard
4. CFCédric Fournet
5. MAMartín Abadi
6. LLLeslie Lamport

Load-bearing co-author: Matthieu Sozeau. Without them: ∞.

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.