pldb wrapped

FNFFredrik Nordvall Forsberg

3 papers

cited 3×

cites 20

Reply guy/gal

AMAnders Mörtberg

cited you 2×

Mutuals

1. AMAnders Mörtberg2 ⇄ 2
2. AVAndrea Vezzosi2 ⇄ 1
3. AAAndreas Abel3 ⇄ 1
4. NWNiels van der Weide1 ⇄ 1
5. VCVikraman Choudhury1 ⇄ 1

you ⇄ them

Parasocial crush

LPLoïc Pujet

you: 4 · them: 0

Main character

Three equivalent ordinal notation systems in cubical Agda

CPP 2020 · cited 2×

Vintage

You cite like it's 2019

Deepest dig

A Coherence Theorem for Martin-Löf's Type Theory

JFP 1998

Lamport number5

1. FNFyou
2. NGNeil Ghani
3. CBJC. Barry Jay
4. JPJens Palsberg
5. MAMartín Abadi
6. LLLeslie Lamport

Load-bearing co-author: Neil Ghani. 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.