Philip Wadler

Artificial Intelligence · 2012

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

Subfields

Whom Philip Wadler trusts overall

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

  1. Simon J. Gay
  2. Kohei Honda
  3. Nobuko Yoshida
  4. Malcolm Hole
  5. Marco Carbone

Papers from Philip Wadler's perspective

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

  1. Subtyping for session types in the pi calculus (Acta Informatica)
  2. Multiparty asynchronous session types (ACM-SIGACT Symposium on Principles of Programming Languages)
  3. The Pi-Calculus - a theory of mobile processes
  4. Language Primitives and Type Discipline for Structured Communication-Based Programming Revisited: Two Systems for Higher-Order Session Communication (SecReT@ICALP)
  5. Enforcing high-level protocols in low-level software (ACM-SIGPLAN Symposium on Programming Language Design and Implementation)
  6. Region-based memory management in cyclone (ACM-SIGPLAN Symposium on Programming Language Design and Implementation)
  7. Types and programming languages: the next generation (18th Annual IEEE Symposium of Logic in Computer Science, 2003. Proceedings.)
  8. Pict: a programming language based on the Pi-Calculus (Proof, Language, and Interaction)
  9. Structured Communication-Centred Programming for Web Services (European Symposium on Programming)
  10. THE MEANINGS OF TRUST

Their papers