Collaborated with:B.Greenman J.Palsberg
Talks about:type (2) gradual (1) sound (1) decid (1) about (1) what (1) cost (1) tag (1)
Person: Zeina Migeed
DBLP: Migeed:Zeina
Contributed to:
2018
2020Wrote 2 papers:
- PEPM-2018-GreenmanM #cost analysis #on the
- On the cost of type-tag soundness (BG, ZM), pp. 30–39.
- POPL-2020-MigeedP #decidability #question #what
- What is decidable about gradual types? (ZM, JP), p. 29.