Walid Taha

Artificial Intelligence · 2000–2007

A researcher in the Science corpus: 3 papers; trusts 3 researchers and is trusted by 47 researchers here, as inferred from the citation graph.

Subfields

• Artificial Intelligence — 7 citations into it; #6,533 of 35,345 by trust here, #16,471 by citations
• Computational Theory and Mathematics — 7 citations into it; #1,571 of 12,182 by trust here, #3,924 by citations

Whom Walid Taha trusts overall

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

1. Cormac Flanagan
2. Atsushi Igarashi

Who trusts Walid Taha overall

1. Ronald Garcia
2. Michael Furr
3. Hongwei Xi
4. Jeremy G. Siek
5. Mauricio Cassola
6. Michael M. Vitousek
7. Yusuke Miyazaki
8. Jong-hoon An
9. Aseem Rastogi
10. Matteo Cimini

Papers from Walid Taha's perspective

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

1. Contracts for higher-order functions (ACM SIGPLAN International Conference on Functional Programming)
2. Gradual Typing for Functional Languages
3. Featherweight Java: a minimal core calculus for Java and GJ (TOPL)
4. Hybrid type checking (ACM-SIGACT Symposium on Principles of Programming Languages)
5. Mechanized Metatheory for the Masses: The PoplMark Challenge (International Conference on Theorem Proving in Higher Order Logics)
6. Revised4 report on the algorithmic language scheme
7. Structure and interpretation of computer programs
8. Extended static checking for Java (ACM-SIGPLAN Symposium on Programming Language Design and Implementation)
9. Type-based race detection for Java (ACM-SIGPLAN Symposium on Programming Language Design and Implementation)
10. Simplify: a theorem prover for program checking (JACM)

Their papers

• Gradual Typing for Objects (2007) — 439 citations
• Gradual Typing for Functional Languages (2006)
• MetaML and multi-stage programming with explicit annotations (2000) — 349 citations