Zeina Migeed

According to our database, Zeina Migeed authored at least 5 papers between 2018 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

Generalizing Shape Analysis with Gradual Types (Artifact).

Zeina Migeed, Jens Palsberg

Dagstuhl Artifacts Ser., 2024

Generalizing Shape Analysis with Gradual Types.

Zeina Migeed, James Reed, Jason Ansel, Jens Palsberg

Proceedings of the 38th European Conference on Object-Oriented Programming, 2024

2023

Theory and Applications for Gradual Type Migration

Zeina Migeed

PhD thesis, 2023

2020

What is decidable about gradual types?

Zeina Migeed, Jens Palsberg

Proc. ACM Program. Lang., 2020

2018

On the cost of type-tag soundness.

Ben Greenman, Zeina Migeed

Proceedings of the ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation, 2018