pldb wrapped

UNUlf Norell

3 papers

cited 9×

cites 26

Reply guy/gal

Stephanie Weirich

cited you 3×

Mutuals

1. Stephanie Weirich5 ⇄ 3
2. ASAntal Spector-Zabusky2 ⇄ 2
3. CRChristine Rizkallah2 ⇄ 2
4. JBJoachim Breitner2 ⇄ 2
5. JWJohn Wiegley1 ⇄ 2

you ⇄ them

Parasocial crush

SLPSimon L. Peyton Jones

you: 5 · them: 0

Secret admirer

WSWouter Swierstra

them: 2 · you: 0

Main character

Verifying haskell programs using constructive type theory

Haskell 2005 · cited 7×

Vintage

You cite like it's 2008

Deepest dig

How to Make ad-hoc Polymorphism Less ad-hoc

POPL 1989

Lamport number4

1. UNyou
2. JHJohn Hughes
3. BCPBenjamin C. Pierce
4. MAMartín Abadi
5. LLLeslie Lamport

Load-bearing co-author: John Hughes. 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.