Yusuke Miyazaki

Artificial Intelligence · 2018

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

Subfields

• Artificial Intelligence — 7 citations into it; #21,896 of 35,345 by trust here, #32,362 by citations
• Information Systems — 5 citations into it
• Program Analysis & Verification — 5 citations into it; #128 of 301 by trust here, #262 by citations

Whom Yusuke Miyazaki trusts overall

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

1. Jeremy G. Siek
2. Ronald Garcia
3. Walid Taha
4. Manish Vachharajani
5. Matteo Cimini
6. Sam Tobin-Hochstadt
7. Matthias Felleisen

Who trusts Yusuke Miyazaki overall

1. Ming-Ho Yee
2. Zeina Migeed
3. Arjun Guha
4. Jens Palsberg

Papers from Yusuke Miyazaki's perspective

Ordered by how strongly the researchers Yusuke Miyazaki 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. Gradual Typing for Objects (European Conference on Object-Oriented Programming)
3. Gradual typing with unification-based inference
4. The ins and outs of gradual type inference
5. Contracts for higher-order functions (ACM SIGPLAN International Conference on Functional Programming)
6. Principal Type Schemes for Gradual Programs
7. MetaML and multi-stage programming with explicit annotations (Theoretical Computer Science)
8. Gradual Typing for Functional Languages
9. Hybrid type checking (ACM-SIGACT Symposium on Principles of Programming Languages)
10. Mechanized Metatheory for the Masses: The PoplMark Challenge (International Conference on Theorem Proving in Higher Order Logics)

Their papers

• Dynamic type inference for gradual Hindley–Milner typing (2018) — 24 citations