JohnReynolds
Last edit August 10, 2014
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