BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter

Collaborated with:
E.Cavallo J.Tassarotti C.Angiuli R.J.0002 K.H.(Favonia) Stefan K. Muller U.A.Acar Todd Wilson Ananya Kumar G.E.Blelloch
Talks about:
type (5) theori (4) comput (4) higher (3) cubic (3) parallel (2) concurr (2) logic (2) dimension (1) construct (1)

Person: Robert Harper 0001

DBLP DBLP: 0001:Robert_Harper

Contributed to:

ESOP 20172017
CSL 20182018
CSL 20202020
PLDI 20172017
POPL 20172017
POPL 20192019

Wrote 8 papers:

ESOP-2017-TassarottiJ0 #concurrent #higher-order #logic #refinement
A Higher-Order Logic for Concurrent Termination-Preserving Refinement (JT, RJ0, RH0), pp. 909–936.
CSL-2018-AngiuliF0 #reasoning #type system
Cartesian Cubical Computational Type Theory: Constructive Reasoning with Paths and Equalities (CA, KBH(, RH0), p. 17.
CSL-2020-Cavallo0 #parametricity #type system
Internal Parametricity for Cubical Type Theory (EC, RH0), p. 17.
PLDI-2017-MullerA0 #parallel #thread
Responsive parallel computation: bridging competitive and cooperative threading (SKM, UAA, RH0), pp. 677–692.
POPL-2017-AngiuliHW #type system
Computational higher-dimensional type theory (CA, RH0, TW), pp. 680–693.
POPL-2017-KumarBH #array #functional #parallel
Parallel functional arrays (AK, GEB, RH0), pp. 706–718.
POPL-2019-CavalloH #induction #type system
Higher inductive types in cubical computational type theory (EC, RH0), p. 27.
POPL-2019-TassarottiH #concurrent #logic #random #source code
A separation logic for concurrent randomized programs (JT, RH0), p. 30.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.