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