Andrew M. Kent

Artificial Intelligence · 2014

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 — 6 citations into it; #29,194 of 35,345 by trust here, #24,417 by citations
• Information Systems — 5 citations into it; #6,860 of 8,771 by trust here, #5,501 by citations
• Program Analysis & Verification — 5 citations into it

Whom Andrew M. Kent trusts overall

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

1. Jeremy G. Siek
2. Matthias Felleisen
3. Sam Tobin-Hochstadt
4. Walid Taha
5. Benjamin S. Lerner

Who trusts Andrew M. Kent overall

1. Erik Krogh Kristensen
2. Ambrose Bonnaire-Sergeant

Papers from Andrew M. Kent's perspective

Ordered by how strongly the researchers Andrew M. Kent 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 Functional Languages
3. Contracts for higher-order functions (ACM SIGPLAN International Conference on Functional Programming)
4. TeJaS: retrofitting type systems for JavaScript
5. The ins and outs of gradual type inference
6. Gradual Typing for Objects (European Conference on Object-Oriented Programming)
7. Hybrid type checking (ACM-SIGACT Symposium on Principles of Programming Languages)
8. Mechanized Metatheory for the Masses: The PoplMark Challenge (International Conference on Theorem Proving in Higher Order Logics)
9. Featherweight Java: a minimal core calculus for Java and GJ (TOPL)
10. Gradual typing with unification-based inference

Their papers

• Design and evaluation of gradual typing for python (2014) — 143 citations