Val Tannen -

Not registered as user yet

Name:Val Tannen

Affiliation:University of Pennsylvania, USA

Contributions

CoqPL 2022	Author of Tealeaves: Categorical structures for syntax within the CoqPL-track
PLDI 2019	Author of Data-Trace Types for Distributed Stream Processing Systems within the PLDI Research Papers-track