
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 | Computational Higher Type Theory | ||||||||||||||||||||||||||||||||||||||||
Show activities from other conferences |
POPL 2018-profile
View general profile
View general profile