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 Practical Foundations of Programming Languages and is an ACM Fellow.

Country:United States

Affiliation:Carnegie Mellon University, USA

Personal website:http://www.cs.cmu.edu/~rwh

GitHub:https://github.com/RobertHarper

Research interests:Programming languages, type theory, logical frameworks.

Contributions

ICFP 2022	Committee Member in Program Committee within the ICFP Papers-track
ML 2021	Author of A metalanguage for multi-phase modularity within the ML 2021-track
POPL 2022	Author of A cost-aware logical framework within the POPL-track
POPL 2019	Author of Higher Inductive Types in Cubical Computational Type Theory within the Research Papers-track Author of A Separation Logic for Concurrent Randomized Programs within the Research Papers-track
HOPL IV	Author of The History of Standard ML within the Papers-track
ICFP 2018	Author of Competitive Parallelism: Getting Your Priorities Right within the Research Papers-track
POPL 2018	Author of Computational Higher Type Theory within the TutorialFest-track
POPL 2017	Author of Computational Higher-Dimensional Type Theory within the POPL-track Author of Parallel Functional Arrays within the POPL-track