Marshall Roch
Artificial Intelligence · 2017
A researcher in the Science corpus: 1 paper; trusts 1 researcher and is trusted by 0 researchers here, as inferred from the citation graph.
Subfields
- Artificial Intelligence — 10 citations into it
- Information Systems — 7 citations into it
Whom Marshall Roch trusts overall
Their strongest outbound trust, strongest first, inferred from their citations.
Papers from Marshall Roch's perspective
Ordered by how strongly the researchers Marshall Roch trusts endorse each paper. Same corpus, a different order for every researcher.
- Typing Local Control and State Using Flow Analysis
- Dependent types for JavaScript
- Understanding TypeScript
- Type inference for static compilation of JavaScript
- Liquid types (ACM-SIGPLAN Symposium on Programming Language Design and Implementation)
- Static type inference for Ruby
- Towards Type Inference for JavaScript
- The Design and Implementation of Typed Scheme: From Scripts to Programs
- Towards a program logic for JavaScript
- Enforcing high-level protocols in low-level software (ACM-SIGPLAN Symposium on Programming Language Design and Implementation)
Their papers
- Fast and precise type checking for JavaScript (2017) — 58 citations