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

POPL 2018 Activities

• Author of Computational Higher Type Theory within the TutorialFest-track in POPL 2018
• Show activities from other conferences