Simon L. Peyton Jones

Artificial Intelligence · with Jhala · 2014

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

Subfields

Whom Simon L. Peyton Jones trusts

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

  1. Cormac Flanagan (in Computational Theory and Mathematics)
  2. Patrick Maxim Rondon (in Artificial Intelligence)

Papers from Simon L. Peyton Jones's perspective

Ordered by how strongly the researchers Simon L. Peyton Jones trusts endorse each paper. Same corpus, a different order for every researcher.

  1. Extended static checking for Java (ACM-SIGPLAN Symposium on Programming Language Design and Implementation)
  2. Simplify: a theorem prover for program checking (JACM)
  3. Hybrid type checking (ACM-SIGACT Symposium on Principles of Programming Languages)
  4. Liquid types (ACM-SIGPLAN Symposium on Programming Language Design and Implementation)
  5. Z3: An Efficient SMT Solver
  6. Simple unification-based type inference for GADTs (ACM SIGPLAN International Conference on Functional Programming)
  7. On computable numbers
  8. On Computable Numbers, with an Application to the Entscheidungsproblem.
  9. Interactive Theorem Proving and Program Development: Coq'Art The Calculus of Inductive Constructions
  10. Enforcing high-level protocols in low-level software (ACM-SIGPLAN Symposium on Programming Language Design and Implementation)

Their papers