Gabriel Levi

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 Gabriel Levi trusts

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

1. Patrick Maxim Rondon (in Artificial Intelligence)

Papers from Gabriel Levi's perspective

Ordered by how strongly the researchers Gabriel Levi trusts endorse each paper. Same corpus, a different order for every researcher.

1. Typing Local Control and State Using Flow Analysis
2. Dependent types for JavaScript
3. Understanding TypeScript
4. Type inference for static compilation of JavaScript
5. Liquid types (ACM-SIGPLAN Symposium on Programming Language Design and Implementation)
6. Static type inference for Ruby
7. Towards Type Inference for JavaScript
8. The Design and Implementation of Typed Scheme: From Scripts to Programs
9. Towards a program logic for JavaScript
10. 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