Ronald Garcia

2015

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

Whom Ronald Garcia trusts overall

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

  1. Jeremy G. Siek
  2. Walid Taha
  3. Sam Tobin-Hochstadt
  4. Matthias Felleisen
  5. Aseem Rastogi

Who trusts Ronald Garcia overall

  1. Ming-Ho Yee
  2. Zeina Migeed
  3. Yusuke Miyazaki
  4. John Peter Campora III
  5. Arjun Guha
  6. Jens Palsberg
  7. Taro Sekiyama
  8. Sheng Chen
  9. Atsushi Igarashi
  10. Martin Erwig

Papers from Ronald Garcia's perspective

Ordered by how strongly the researchers Ronald Garcia 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. Gradual Typing for Objects (European Conference on Object-Oriented Programming)
  4. Gradual typing with unification-based inference
  5. The ins and outs of gradual type inference
  6. Hybrid type checking (ACM-SIGACT Symposium on Principles of Programming Languages)
  7. Contracts for higher-order functions (ACM SIGPLAN International Conference on Functional Programming)
  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. TeJaS: retrofitting type systems for JavaScript

Their papers