pith. sign in

Robert Harper

Identifiers

  • name variant Robert Harper 0.60 · backfill

Papers (16)

  1. Logical Relations for Session-Typed Concurrency cs.PL · 2023 · author #3
  2. Parametric Cubical Type Theory cs.LO · 2019 · author #2
  3. Competitive Parallelism: Getting Your Priorities Right cs.PL · 2018 · author #3
  4. The RedPRL Proof Assistant (Invited Paper) cs.LO · 2018 · author #4
  5. Inferring the time-varying functional connectivity of large-scale computer networks from emitted events cs.LG · 2018 · author #4
  6. A Separation Logic for Concurrent Randomized Programs cs.PL · 2018 · author #2
  7. Computational Higher Type Theory IV: Inductive Types cs.LO · 2018 · author #2
  8. Computational Higher Type Theory III: Univalent Universes and Exact Equality cs.LO · 2017 · author #3
  9. Algebraic Foundations of Proof Refinement cs.LO · 2017 · author #2
  10. A Higher-Order Logic for Concurrent Termination-Preserving Refinement cs.PL · 2017 · author #3
  11. Computational Higher Type Theory II: Dependent Cubical Realizability cs.LO · 2016 · author #2
  12. Computational Higher Type Theory I: Abstract Cubical Realizability cs.LO · 2016 · author #2
  13. A Note on the Uniform Kan Condition in Nominal Cubical Sets math.LO · 2015 · author #1
  14. Selective Memoization cs.PL · 2011 · author #3
  15. Logic Column 16: Higher-Order Abstract Syntax: Setting the Record Straight cs.LO · 2006 · author #2
  16. On Equivalence and Canonical Forms in the LF Type Theory cs.LO · 2001 · author #1

Mentions

  • 1501.05691 #1 · backfill · confidence 0.70 Robert Harper
  • 1106.0447 #3 · backfill · confidence 0.70 Robert Harper

Frequent Coauthors