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