Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Robert Harper
conf.researchr.org general profile
ICFP 2018 profile
POPL 2017 profile
POPL 2018 profile
POPL 2019 profile
Registered user since Fri 16 Sep 2016
Name:
Robert Harper
Contributions
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
x
Tue 22 Oct 22:31