Rowan Davies

Program Analysis & Verification · 2016

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

Subfields

Whom Rowan Davies trusts overall

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

  1. Sam Tobin-Hochstadt
  2. Ravi Chugh
  3. Benjamin S. Lerner
  4. Michael M. Vitousek

Papers from Rowan Davies's perspective

Ordered by how strongly the researchers Rowan Davies 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. The ins and outs of gradual type inference
  6. Gradual Typing for Functional Languages
  7. Static type inference for Ruby
  8. Contracts for higher-order functions (ACM SIGPLAN International Conference on Functional Programming)
  9. Gradual Typing for Objects (European Conference on Object-Oriented Programming)
  10. Polyglot: An Extensible Compiler Framework for Java (International Conference on Compiler Construction)

Their papers