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 Practical Foundations of Programming Languages and is an ACM Fellow.
Country:United States
Affiliation:Carnegie Mellon University
Personal website:http://www.cs.cmu.edu/~rwh
Research interests:Programming languages, type theory, logical frameworks.
Contributions
| POPL 2023 | Session Chair of Resource Analysis (part of POPL) | ||||||||||||||||||||||||||||||||||||||||
| Show activities from other conferences | |||||||||||||||||||||||||||||||||||||||||
POPL 2023-profile
View general profile
View general profile