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 the textbook Practical Foundations for Programming Languages (Cambridge, 2016).
|POPL 2018||Computational Higher Type Theory|
|Show activities from other conferences|
View general profile