Zeina Migeed

Registered user since Mon 4 Apr 2016

Name: Zeina Migeed

Affiliation: University of California, Los Angeles

Research interests: Type theory

Contributions

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