Evan Cavallo

Publication Activity (10 Years)

Years Active: 2018-2024
Publications (10 Years): 15

Top Topics

Boundary Extraction

Computationally Tractable

Theoretical Basis

Top Venues

Proc. ACM Program. Lang.

Publications

Maximilian Doré, Evan Cavallo, Anders Mörtberg
Automating Boundary Filling in Cubical Agda. CoRR (2024)
Steve Awodey, Evan Cavallo, Thierry Coquand, Emily Riehl, Christian Sattler
The equivariant model structure on cartesian cubical sets. CoRR (2024)
Maximilian Doré, Evan Cavallo, Anders Mörtberg
Automating Boundary Filling in Cubical Agda. FSCD (2024)
Daniel Gratzer, Evan Cavallo, G. A. Kavvos, Adrien Guatto, Lars Birkedal
Modalities and Parametric Adjoints. ACM Trans. Comput. Log. 23 (3) (2022)
Evan Cavallo, Robert Harper
Internal Parametricity for Cubical Type Theory. Log. Methods Comput. Sci. 17 (4) (2021)
Carlo Angiuli, Evan Cavallo, Anders Mörtberg, Max Zeuner
Internalizing representation independence with univalence. Proc. ACM Program. Lang. 5 (POPL) (2021)
Evan Cavallo, Anders Mörtberg, Andrew W. Swan
Unifying Cubical Models of Univalent Type Theory. CSL (2020)
Evan Cavallo, Robert Harper
Internal Parametricity for Cubical Type Theory. CoRR (2020)
Evan Cavallo, Robert Harper
Internal Parametricity for Cubical Type Theory. CSL (2020)
Carlo Angiuli, Evan Cavallo, Anders Mörtberg, Max Zeuner
Internalizing Representation Independence with Univalence. CoRR (2020)
Evan Cavallo
Stable factorization from a fibred algebraic weak factorization system. CoRR (2019)
Evan Cavallo, Robert Harper
Higher inductive types in cubical computational type theory. Proc. ACM Program. Lang. 3 (POPL) (2019)
Evan Cavallo, Robert Harper
Parametric Cubical Type Theory. CoRR (2019)
Carlo Angiuli, Evan Cavallo, Kuen-Bang Hou, Robert Harper, Jonathan Sterling
The RedPRL Proof Assistant (Invited Paper). LFMTP@FSCD (2018)
Evan Cavallo, Robert Harper
Computational Higher Type Theory IV: Inductive Types. CoRR (2018)