Zeina Migeed

Artificial Intelligence · 2019

A researcher in the Science corpus: 1 paper; trusts 8 researchers and is trusted by 2 researchers here, as inferred from the citation graph.

Subfields

• Artificial Intelligence — 12 citations into it; #25,026 of 35,345 by trust here, #33,294 by citations
• Program Analysis & Verification — 10 citations into it; #172 of 301 by trust here, #274 by citations
• Software Engineering — 8 citations into it
• Information Systems — 7 citations into it; #5,645 of 8,771 by trust here, #8,258 by citations

Whom Zeina Migeed trusts overall

Their strongest outbound trust, strongest first, inferred from their citations.

1. Sam Tobin-Hochstadt
2. Ronald Garcia
3. Yusuke Miyazaki
4. Zhaogui Xu
5. Jeremy G. Siek
6. Matthias Felleisen
7. Matteo Cimini
8. Taro Sekiyama
9. X. Zhang
10. Atsushi Igarashi

Who trusts Zeina Migeed overall

1. Ming-Ho Yee
2. Arjun Guha

Papers from Zeina Migeed's perspective

Ordered by how strongly the researchers Zeina Migeed trusts endorse each paper. Same corpus, a different order for every researcher.

1. The Design and Implementation of Typed Scheme: From Scripts to Programs
2. Principal Type Schemes for Gradual Programs
3. Dynamic type inference for gradual Hindley–Milner typing
4. Gradual Typing for Objects (European Conference on Object-Oriented Programming)
5. Gradual typing: a new perspective
6. Python probabilistic type inference with natural language support
7. Gradual typing with unification-based inference
8. The ins and outs of gradual type inference
9. Gradual Typing for Functional Languages
10. Contracts for higher-order functions (ACM SIGPLAN International Conference on Functional Programming)

Their papers

• What is decidable about gradual types? (2019) — 16 citations