Sam Tobin-Hochstadt

Artificial Intelligence · 2011–2016

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

Subfields

• Artificial Intelligence — 10 citations into it; #7,278 of 35,345 by trust here, #18,186 by citations
• Information Systems — 7 citations into it; #1,022 of 8,771 by trust here, #3,540 by citations
• Program Analysis & Verification — 6 citations into it; #40 of 301 by trust here, #111 by citations

Whom Sam Tobin-Hochstadt trusts overall

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

1. Jeremy G. Siek
2. Cormac Flanagan

Who trusts Sam Tobin-Hochstadt overall

1. Arjun Guha
2. Ming-Ho Yee
3. Zeina Migeed
4. Ronald Garcia
5. Michael Furr
6. Ambrose Bonnaire-Sergeant
7. Aseem Rastogi
8. Michael M. Vitousek
9. Jeffrey S. Foster
10. Jeremy G. Siek

Papers from Sam Tobin-Hochstadt's perspective

Ordered by how strongly the researchers Sam Tobin-Hochstadt 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. TeJaS: retrofitting type systems for JavaScript
3. Dependent types for JavaScript
4. Design and evaluation of gradual typing for python
5. Gradual Typing for Functional Languages
6. Contracts for higher-order functions (ACM SIGPLAN International Conference on Functional Programming)
7. Structure and interpretation of computer programs
8. The ins and outs of gradual type inference
9. Featherweight Java: a minimal core calculus for Java and GJ (TOPL)
10. Hybrid type checking (ACM-SIGACT Symposium on Principles of Programming Languages)

Their papers

• The Design and Implementation of Typed Scheme: From Scripts to Programs (2011) — 288 citations
• Practical Optional Types for Clojure (2016) — 36 citations