
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