Philip Wadler

Artificial Intelligence · TOPL · 2001–2017

A researcher in the Science corpus: 5 papers; trusts 5 researchers and is trusted by 11 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. Ivor Grattan-Guinness
  2. John Hughes
  3. Jeremy G. Siek

Who trusts Philip Wadler overall

  1. Alon Zakai
  2. Gerwin Klein
  3. Erik Krogh Kristensen

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. de Bruijn notation as a nested datatype
  2. Purely functional data structures
  3. Gradual Typing for Objects (European Conference on Object-Oriented Programming)
  4. Composable memory transactions (ACM SIGPLAN Symposium on Principles & Practice of Parallel Programming)
  5. Types and programming languages: the next generation (18th Annual IEEE Symposium of Logic in Computer Science, 2003. Proceedings.)
  6. Executing a Program on the MIT Tagged-Token Dataflow Architecture
  7. Packrat parsing:: simple, powerful, lazy, linear time, functional pearl (ACM SIGPLAN International Conference on Functional Programming)
  8. Generalising monads to arrows (Science of Computer Programming)
  9. QuickCheck: a lightweight tool for random testing of Haskell programs (ACM SIGPLAN International Conference on Functional Programming)
  10. Literate Programming

Their papers