pldb wrapped

KCKoen Claessen

34 papers

cited 548×

cites 200

Reply guy/gal

LLLeonidas Lampropoulos

cited you 42×

Mutuals

1. SLPSimon L. Peyton Jones14 ⇄ 10
2. PWPhilip Wadler7 ⇄ 8
3. MFMatthias Felleisen6 ⇄ 6
4. PHPaul Hudak6 ⇄ 6
5. RBFRobert Bruce Findler6 ⇄ 9

you ⇄ them

Parasocial crush

RHRalf Hinze

you: 5 · them: 0

Secret admirer

BCPBenjamin C. Pierce

them: 41 · you: 0

Main character

QuickCheck: a lightweight tool for random testing of Haskell programs

ICFP 2000 · cited 263×

Ratio'd

Sound and complete models of contracts

JFP 2006 · cited 29× · by your 37×

Vintage

You cite like it's 2007

Deepest dig

Automatic Generation of Efficient Evaluators for Attribute Grammars

POPL 1976

Lamport number4

1. KCyou
2. NPNir Piterman
3. OKOrna Kupferman
4. RPKRobert P. Kurshan
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.