Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Val Tannen
conf.researchr.org general profile
ICFP 2022 profile
PLDI 2019 profile
POPL 2022 profile
Not registered as user yet
Name:
Val Tannen
Affiliation:
University of Pennsylvania, USA
Contributions
2022
ICFP
Author of Iterating on multiple collections in synchrony within the ICFP Papers and Events-track
CoqPL
Author of Tealeaves: Categorical structures for syntax within the CoqPL-track
2019
PLDI
Author of Data-Trace Types for Distributed Stream Processing Systems within the PLDI Research Papers-track
Share
x
Fri 8 Nov 15:29