Registered user since Fri 16 Sep 2016
Name: Robert Harper
Bio: Robert Harper is a professor of Computer Science at Carnegie Mellon University, where he has been on faculty since 1988. He is author of the textbook Practical Foundations for Programming Languages (Cambridge, 2016).
Country: United States
Affiliation: Carnegie Mellon University
Personal website: http://www.cs.cmu.edu/~rwh/
Research interests: Programming Languages
Contributions
| POPL 2018 | Author of Computational Higher Type Theory within the TutorialFest-track | ||||||||||||||||||||||||||||||||||||||||
| Show activities from other conferences | |||||||||||||||||||||||||||||||||||||||||
POPL 2018-profile
View general profile
View general profile