pldb wrapped

NSNeil Sculthorpe

7 papers

cited 46×

cites 99

Reply guy/gal

NRKNeelakantan R. Krishnaswami

cited you 3×

Mutuals

1. CEConal Elliott4 ⇄ 2
2. GHGraham Hutton3 ⇄ 2
3. NVNiki Vazou2 ⇄ 3
4. OKOleg Kiselyov3 ⇄ 2
5. AEAnton Ekblad1 ⇄ 1

you ⇄ them

Parasocial crush

SLPSimon L. Peyton Jones

you: 13 · them: 0

Secret admirer

DYDavid Young

them: 2 · you: 0

Main character

Safe functional reactive programming through dependent types

ICFP 2009 · cited 13×

Ratio'd

Generic programming with fixed points for mutually recursive datatypes

ICFP 2009 · cited 10× · by your 11×

Vintage

You cite like it's 2008

Deepest dig

Higher-Order Abstract Syntax

PLDI 1988

Lamport number5

1. NSyou
2. AGAndy Gill
3. Simon Marlow
4. THTim Harris
5. MAMartín Abadi
6. 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.