Evan Cavallo

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