Registered user since Fri 16 Sep 2016
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.
|POPL 2022||A Cost-Aware Logical Framework|
|Show activities from other conferences|
View general profile