T. Stephen Strickland

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 T. Stephen Strickland trusts

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

1. Jong-hoon An (in Artificial Intelligence)
2. Jeffrey S. Foster (in Information Systems)

Papers from T. Stephen Strickland's perspective

Ordered by how strongly the researchers T. Stephen Strickland 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