Evan Cavallo

According to our database, Evan Cavallo authored at least 11 papers between 2018 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

Automating Boundary Filling in Cubical Agda.

Maximilian Doré, Evan Cavallo, Anders Mörtberg

CoRR, 2024

2022

Modalities and Parametric Adjoints.

Daniel Gratzer, Evan Cavallo, G. A. Kavvos, Adrien Guatto, Lars Birkedal

ACM Trans. Comput. Log., 2022

2021

Higher Inductive Types and Internal Parametricity for Cubical Type Theory.

Evan Cavallo

PhD thesis, 2021

Internalizing representation independence with univalence.

Carlo Angiuli, Evan Cavallo, Anders Mörtberg, Max Zeuner

Proc. ACM Program. Lang., 2021

Internal Parametricity for Cubical Type Theory.

Evan Cavallo, Robert Harper

Log. Methods Comput. Sci., 2021

2020

Unifying Cubical Models of Univalent Type Theory.

Evan Cavallo, Anders Mörtberg, Andrew W. Swan

Proceedings of the 28th EACSL Annual Conference on Computer Science Logic, 2020

2019

Higher inductive types in cubical computational type theory.

Evan Cavallo, Robert Harper

Proc. ACM Program. Lang., 2019

Stable factorization from a fibred algebraic weak factorization system.

Evan Cavallo

CoRR, 2019

Parametric Cubical Type Theory.

Evan Cavallo, Robert Harper

CoRR, 2019

2018

The RedPRL Proof Assistant (Invited Paper).

Carlo Angiuli, Evan Cavallo, Kuen-Bang Hou (Favonia), Robert Harper, Jonathan Sterling

Proceedings of the 13th International Workshop on Logical Frameworks and Meta-Languages: Theory and Practice, 2018

Computational Higher Type Theory IV: Inductive Types.

Evan Cavallo, Robert Harper

CoRR, 2018