Taro Sekiyama

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,897 of 35,345 by trust here, #32,362 by citations
• Information Systems — 5 citations into it
• Program Analysis & Verification — 5 citations into it; #130 of 301 by trust here, #262 by citations

Whom Taro Sekiyama trusts overall

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

1. Jeremy G. Siek
2. Ronald Garcia
3. Walid Taha

Who trusts Taro Sekiyama overall

1. Ming-Ho Yee
2. Zeina Migeed

Papers from Taro Sekiyama's perspective

Ordered by how strongly the researchers Taro Sekiyama 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