• Sign in
  • Sign up
conf.researchr.org / Robert Harper
  • ICFP 2018 profile
  • ICFP 2021 profile
  • ICFP 2022 profile
  • PLDI 2021 profile
  • POPL 2017 profile
  • POPL 2018 profile
  • POPL 2019 profile
  • POPL 2022 profile
  • POPL 2023 profile
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
Personal website:http://www.cs.cmu.edu/~rwh
GitHub:https://github.com/RobertHarper
Research interests:Programming languages, type theory, logical frameworks.

Contributions

POPL 2023 Session Chair of Resource Analysis (part of POPL)
ICFP 2022 Committee Member in Program Committee within the ICFP Papers and Events-track
TyDe 2022 Author of OPLSS over twenty years (online) within the TyDe 2022-track
POPL 2022 Author of A Cost-Aware Logical Framework within the POPL-track
ML 2021 Author of A metalanguage for multi-phase modularity within the ML 2021-track
HOPL IV Author of The History of Standard ML within the Papers-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
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

Share
xSat 4 Feb 04:24
using conf.researchr.org (v1.58.0)
Support page
Sign Up