Robert Harper

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:

Research interests: Programming Languages


POPL 2018 Computational Higher Type Theory
Show activities from other conferences

POPL 2018-profile
View general profile