Conference Covering spaces in homotopy type theory 2018 • Leibniz International Proceedings in Informatics • 97: Favonia KBH, Harper R
Journal Article Exception tracking in an open world 2018 • Theoretical Computer Science • 741:25-31 Harper R
Conference Guarded computational type theory 2018 • Proceedings - Symposium on Logic in Computer Science • 879-888 Sterling J, Harper R
Journal Article Meaning explanations at higher dimension 2018 • Indagationes Mathematicae • 29(1):135-149 Angiuli C, Harper R
Preprint The RedPRL Proof Assistant (Invited Paper) 2018 Angiuli C, Cavallo E, Hou K-B, Harper R, Sterling J
Conference The RedPRL Proof Assistant (Invited Paper) 2018 • Electronic Proceedings in Theoretical Computer Science • 1-10 Angiuli C, Cavallo E, Hou (Favonia) K-B, Harper R, Sterling J
Conference Verified Tail Bounds for Randomized Programs 2018 • Lecture Notes in Computer Science • 10895:560-578 Tassarotti J, Harper R
Preprint A Higher-Order Logic for Concurrent Termination-Preserving Refinement 2017 Tassarotti J, Jung R, Harper R
Conference A Higher-Order Logic for Concurrent Termination-Preserving Refinement 2017 • Lecture Notes in Computer Science • 10201:909-936 Tassarotti J, Jung R, Harper R
Journal Article Computational Higher Type Theory III: Univalent Universes and Exact Equality 2017 Angiuli C, Hou K-B, Harper R
Conference Computational higher-dimensional type theory 2017 • ACM Sigplan Notices • 52(1):680-693 Angiuli C, Harper R, Wilson T
Conference Computational Higher-Dimensional Type Theory 2017 • ACM Sigplan Notices • 52(1):680-693 Angiuli C, Harper R, Wilson T
Journal Article Correctness of compiling polymorphism to dynamic typing 2017 • Journal of Functional Programming • 27:1-24 Hou (Favonia) K-B, Benton N, Harper R
Journal Article Parallel functional arrays 2017 • ACM Sigplan Notices • 52(1):706-718 Kumar A, Blelloch GE, Harper R
Conference Parallel Functional Arrays 2017 • ACM Sigplan Notices • 52(1):706-718 Kumar A, Blelloch GE, Harper R
Conference Responsive parallel computation: bridging competitive and cooperative threading 2017 • Proceedings of the 38th ACM SIGPLAN Conference on Programming Language Design and Implementation Muller SK, Acar UA, Harper R
Conference Responsive Parallel Computation: Bridging Competitive and Cooperative Threading 2017 • ACM Sigplan Notices • 52(6):677-692 Muller SK, Acar UA, Harper R
Journal Article Computational Higher Type Theory I: Abstract Cubical Realizability 2016 Angiuli C, Harper R, Wilson T
Journal Article Computational Higher Type Theory II: Dependent Cubical Realizability 2016 Angiuli C, Harper R
Journal Article Homotopical patch theory 2016 • Journal of Functional Programming • 26:1-45 Angiuli C, Morehouse E, Licata DR, Harper R
Book Practical foundations for programming languages, second edition 2016 • Practical Foundations for Programming Languages, Second Edition • 1-476 Harper R
