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
Web page at http://www-2.cs.cmu.edu/~jcr/
CategoryAuthor CategoryPerson CategoryScientist