Manish Vachharajani

2008

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

Whom Manish Vachharajani trusts overall

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

  1. Cormac Flanagan

Who trusts Manish Vachharajani overall

  1. Ming-Ho Yee
  2. Yusuke Miyazaki
  3. John Peter Campora III
  4. Giuseppe Castagna
  5. Arjun Guha

Papers from Manish Vachharajani's perspective

Ordered by how strongly the researchers Manish Vachharajani 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. Hybrid type checking (ACM-SIGACT Symposium on Principles of Programming Languages)
  3. Gradual Typing for Objects (European Conference on Object-Oriented Programming)
  4. Haskell 98 language and libraries : the revised report
  5. Contracts for higher-order functions (ACM SIGPLAN International Conference on Functional Programming)
  6. Gradual Typing for Functional Languages
  7. Structure and interpretation of computer programs
  8. Revised4 report on the algorithmic language scheme
  9. Extended static checking for Java (ACM-SIGPLAN Symposium on Programming Language Design and Implementation)
  10. Enforcing high-level protocols in low-level software (ACM-SIGPLAN Symposium on Programming Language Design and Implementation)

Their papers