Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Zeina Migeed
conf.researchr.org general 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
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
Wed 24 Apr 08:18
