Atsushi Igarashi

Artificial Intelligence · 2001–2018

A researcher in the Science corpus: 2 papers; trusts 5 researchers and is trusted by 12 researchers here, as inferred from the citation graph.

Subfields

• Artificial Intelligence — 8 citations into it; #13,681 of 35,345 by trust here, #22,463 by citations
• Information Systems — 5 citations into it
• Program Analysis & Verification — 5 citations into it; #129 of 301 by trust here, #262 by citations

Whom Atsushi Igarashi trusts overall

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

1. Jeremy G. Siek
2. Benjamin C. Pierce
3. Ronald Garcia
4. Walid Taha

Who trusts Atsushi Igarashi overall

1. Gerwin Klein
2. Yannis Smaragdakis
3. Paul Klint
4. Einar Broch Johnsen
5. Adrian Sampson
6. Jeremy G. Siek
7. Martin Odersky
8. Tobias Nipkow
9. Martin Bravenboer
10. Tijs van der Storm

Papers from Atsushi Igarashi's perspective

Ordered by how strongly the researchers Atsushi Igarashi 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. Types and programming languages: the next generation (18th Annual IEEE Symposium of Logic in Computer Science, 2003. Proceedings.)
8. MetaML and multi-stage programming with explicit annotations (Theoretical Computer Science)
9. Gradual Typing for Functional Languages
10. Hybrid type checking (ACM-SIGACT Symposium on Principles of Programming Languages)

Their papers

• Featherweight Java: a minimal core calculus for Java and GJ (2001) — 1,218 citations
• Dynamic type inference for gradual Hindley–Milner typing (2018) — 24 citations