Malcolm Hole

Acta Informatica · 2005

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

Whom Malcolm Hole trusts overall

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

  1. Benjamin C. Pierce
  2. R. Deline
  3. Manuel Fähndrich

Who trusts Malcolm Hole overall

  1. Philip Wadler
  2. Kohei Honda
  3. Marco Carbone
  4. Nobuko Yoshida
  5. Luís Caires

Papers from Malcolm Hole's perspective

Ordered by how strongly the researchers Malcolm Hole trusts endorse each paper. Same corpus, a different order for every researcher.

  1. Enforcing high-level protocols in low-level software (ACM-SIGPLAN Symposium on Programming Language Design and Implementation)
  2. Region-based memory management in cyclone (ACM-SIGPLAN Symposium on Programming Language Design and Implementation)
  3. Types and programming languages: the next generation (18th Annual IEEE Symposium of Logic in Computer Science, 2003. Proceedings.)
  4. The Pi-Calculus - a theory of mobile processes
  5. Pict: a programming language based on the Pi-Calculus (Proof, Language, and Interaction)
  6. Checking system rules using system-specific, programmer-written compiler extensions (USENIX Symposium on Operating Systems Design and Implementation)
  7. An overview of JML tools and applications (International Journal on Software Tools for Technology Transfer (STTT))
  8. Ownership types for safe programming: preventing data races and deadlocks (Conference on Object-Oriented Programming Systems, Languages, and Applications)
  9. Typestates for Objects (European Conference on Object-Oriented Programming)
  10. Type-based race detection for Java (ACM-SIGPLAN Symposium on Programming Language Design and Implementation)

Their papers