Collaborated with:
T.W.Reps Prathmesh Prabhu
Talks about:
newtonian (1) program (1) product (1) analysi (1) tensor (1)
Person: Emma Turetsky
DBLP: Turetsky:Emma
Contributed to:
Wrote 1 papers:
- POPL-2016-RepsTP #program analysis
- Newtonian program analysis via tensor product (TWR, ET, PP), pp. 663–677.