Michael Furr

Artificial Intelligence · 2009

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

Subfields

• Artificial Intelligence — 10 citations into it; #15,329 of 35,345 by trust here, #17,776 by citations
• Program Analysis & Verification — 8 citations into it; #94 of 301 by trust here, #96 by citations
• Computational Theory and Mathematics — 5 citations into it
• Information Systems — 5 citations into it; #2,951 of 8,771 by trust here, #3,402 by citations
• Software — 5 citations into it; #415 of 1,227 by trust here, #394 by citations

Whom Michael Furr trusts overall

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

1. Jeremy G. Siek
2. Benjamin C. Pierce
3. Walid Taha
4. Sam Tobin-Hochstadt
5. Matthias Felleisen
6. Anders Møller
7. Jong-hoon An
8. Sophia Drossopoulou

Who trusts Michael Furr overall

1. Zhaogui Xu
2. Milod Kazerounian
3. Jeffrey S. Foster
4. Panagiotis Vekris
5. Luna Phipps-Costin
6. Michael Pradel
7. Amir M. Mir
8. X. Zhang
9. Arjun Guha
10. Jong-hoon An

Papers from Michael Furr's perspective

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

1. Gradual Typing for Functional Languages
2. Contracts for higher-order functions (ACM SIGPLAN International Conference on Functional Programming)
3. Soft typing
4. Types and programming languages: the next generation (18th Annual IEEE Symposium of Logic in Computer Science, 2003. Proceedings.)
5. Towards Type Inference for JavaScript
6. Precise Analysis of String Expressions (Sensors Applications Symposium)
7. Static type inference for Ruby
8. TeJaS: retrofitting type systems for JavaScript
9. The Design and Implementation of Typed Scheme: From Scripts to Programs
10. Mechanized Metatheory for the Masses: The PoplMark Challenge (International Conference on Theorem Proving in Higher Order Logics)

Their papers

• Profile-guided static typing for dynamic scripting languages (2009) — 94 citations
• Static type inference for Ruby (2009) — 179 citations