Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Zeina Migeed
conf.researchr.org general profile
ISSTA/ECOOP 2024 profile
POPL 2018 profile
POPL 2020 profile
Registered user since Mon 4 Apr 2016
Name:
Zeina Migeed
Affiliation:
University of California, Los Angeles
Research interests:
Type theory
Contributions
2024
ECOOP
Author of Generalizing Shape Analysis with Gradual Types within the Technical Papers-track
2020
POPL
Author of What is Decidable about Gradual Types? within the Research Papers-track
2018
PEPM
Author of On the Cost of Type-Tag Soundness within the PEPM 2018-track
Share
x
Sun 1 Sep 08:37