Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Zenna Tavares
conf.researchr.org general profile
ICFP 2021 profile
POPL 2021 profile
POPL 2022 profile
Registered user since Sun 17 Jan 2021
Name:
Zenna Tavares
Affiliation:
Massachusetts Institute of Technology
Contributions
LAFI 2022
Committee Member in Program Committee within the LAFI-track
HOPE 2021
Author of Dynamic Scope + Laziness = Counterfactuals within the HOPE 2021-track
LAFI 2021
Author of Parametric Inversion of Non-Invertible Programs within the LAFI 2021-track
Share
x
Thu 19 May 04:58