Concepedia
4
Publications
64
Citations
H-Index
2018
Active since
Affiliations
Carnegie Mellon University(Current)
Evan Cavallo is an author at Carnegie Mellon University specializing in formal methods, computer science, and integral geometry.
Top concepts
EngineeringFormal MethodsComputer ScienceIntegral Geometry
Publications per year
2018–2020
Higher inductive types in cubical computational type theory
Evan Cavallo, Robert Harper · Proceedings of the ACM on Programming Languages · 2019 · 32 citations · Full text
Inductive Types, Engineering, Type Theory +8
Computational Higher Type Theory IV: Inductive Types
Evan Cavallo, Robert Harper · arXiv (Cornell University) · 2018 · 12 citations · Full text
Inductive Types, Type Theory, Higher Category Theory +6
Internal Parametricity for Cubical Type Theory
Evan Cavallo, Robert Harper · DROPS (Schloss Dagstuhl – Leibniz Center for Informatics) · 2020 · 10 citations · Full text
Integral Geometry, Geometry Of Number, Type Theory +7
Unifying Cubical Models of Univalent Type Theory
Evan Cavallo, Anders Mörtberg, Andrew Swan · DROPS (Schloss Dagstuhl – Leibniz Center for Informatics) · 2020 · 10 citations · Full text
New Constructive Model, Algebraic Logic, Type Theory +6
Rows per page
1–4 of 4