John Toman

Artificial Intelligence · 2013

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

Subfields

• Artificial Intelligence — 7 citations into it
• Information Systems — 6 citations into it
• Program Analysis & Verification — 6 citations into it

Whom John Toman trusts overall

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

1. Jong-hoon An

Papers from John Toman's perspective

Ordered by how strongly the researchers John Toman 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. Towards Type Inference for JavaScript
4. The Design and Implementation of Typed Scheme: From Scripts to Programs
5. Static type inference for Ruby
6. Dynamic inference of static types for ruby
7. Profile-guided static typing for dynamic scripting languages
8. Soft typing
9. Types and programming languages: the next generation (18th Annual IEEE Symposium of Logic in Computer Science, 2003. Proceedings.)
10. Precise Analysis of String Expressions (Sensors Applications Symposium)

Their papers

• The ruby type checker (2013) — 34 citations