John Reynolds

Professor of Computer Science at Carnegie Mellon University, and a noted authority on computational type systems.

Wrote the book TheoriesOfProgrammingLanguages

• (ISBN:0-521-59414-6), which has its own web page at
  • http://www-2.cs.cmu.edu/~jcr/tpl.html.

Web page at http://www-2.cs.cmu.edu/~jcr/

---

CategoryAuthor CategoryPerson CategoryScientist