Zeina Migeed

Registered user since Mon 4 Apr 2016

Name:Zeina Migeed
Affiliation:University of California, Los Angeles
Research interests:Type theory

Contributions

POPL 2020 Author of What is Decidable about Gradual Types? within the Research Papers-track
PEPM 2018 Author of On the Cost of Type-Tag Soundness within the PEPM 2018-track