Michael M. Vitousek

Artificial Intelligence · 2014

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

Subfields

• Artificial Intelligence — 6 citations into it; #29,192 of 35,345 by trust here, #24,417 by citations
• Information Systems — 5 citations into it; #6,858 of 8,771 by trust here, #5,501 by citations
• Program Analysis & Verification — 5 citations into it

Whom Michael M. Vitousek trusts overall

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

1. Jeremy G. Siek
2. Matthias Felleisen
3. Sam Tobin-Hochstadt
4. Walid Taha
5. Benjamin S. Lerner
6. Joe Gibbs Politz

Who trusts Michael M. Vitousek overall

1. Erik Krogh Kristensen
2. Ambrose Bonnaire-Sergeant
3. Anders Møller
4. Milod Kazerounian
5. Rowan Davies

Papers from Michael M. Vitousek's perspective

Ordered by how strongly the researchers Michael M. Vitousek 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. Gradual Typing for Functional Languages
3. Contracts for higher-order functions (ACM SIGPLAN International Conference on Functional Programming)
4. TeJaS: retrofitting type systems for JavaScript
5. The ins and outs of gradual type inference
6. Gradual Typing for Objects (European Conference on Object-Oriented Programming)
7. Hybrid type checking (ACM-SIGACT Symposium on Principles of Programming Languages)
8. Mechanized Metatheory for the Masses: The PoplMark Challenge (International Conference on Theorem Proving in Higher Order Logics)
9. Featherweight Java: a minimal core calculus for Java and GJ (TOPL)
10. Structure and interpretation of computer programs

Their papers

• Design and evaluation of gradual typing for python (2014) — 143 citations