Jana Dunfield
13 papers
cited 189×
cites 241
Mutuals
- Ranjit Jhala9 ⇄ 4
Stephanie Weirich7 ⇄ 4
- Dimitrios Vytiniotis9 ⇄ 3
- Kanat Tangwongsan8 ⇄ 3
- Matthew A. Hammer3 ⇄ 3
you ⇄ them
Main character
ICFP 2013 · cited 59×
Vintage
You cite like it's 2007
Early adopter
cited 1 paper before they were published
e.g. Implicit self-adjusting computation for… (2014) → Refinement Types for Incremental Computational… (ESOP 2015)
Lamport number4
pldb.kirancodes.me/fun · within PLDB