Victor Lanvin

Artificial Intelligence · 2019

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

Subfields

• Artificial Intelligence — 7 citations into it; #29,326 of 35,345 by trust here, #30,347 by citations

Whom Victor Lanvin trusts overall

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

1. Jeremy G. Siek
2. Walid Taha

Who trusts Victor Lanvin overall

1. Ming-Ho Yee
2. Luna Phipps-Costin
3. Arjun Guha

Papers from Victor Lanvin's perspective

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

1. Gradual Typing for Objects (European Conference on Object-Oriented Programming)
2. Gradual Typing for Functional Languages
3. Contracts for higher-order functions (ACM SIGPLAN International Conference on Functional Programming)
4. Gradual typing with unification-based inference
5. Understanding TypeScript
6. Principal Type Schemes for Gradual Programs
7. The Design and Implementation of Typed Scheme: From Scripts to Programs
8. Hybrid type checking (ACM-SIGACT Symposium on Principles of Programming Languages)
9. Featherweight Java: a minimal core calculus for Java and GJ (TOPL)
10. Mechanized Metatheory for the Masses: The PoplMark Challenge (International Conference on Theorem Proving in Higher Order Logics)

Their papers

• Gradual typing: a new perspective (2019) — 52 citations