• Sign in
  • Sign up
conf.researchr.org / Val Tannen
  • 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
xThu 28 Sep 02:28
using conf.researchr.org (v1.61.3)
Support page
Sign Up