19 citations · 44 across the 8 of their papers we have counts for
Showing 2020Show all
2 papers · 1 filter
cs.PL2020★ 19 cited
Internalizing Representation Independence with Univalence
Carlo Angiuli, Evan Cavallo, Anders Mörtberg +1
In their usual form, representation independence metatheorems provide an external guarantee that two implementations of an abstract interface are interchangeable when they are rela…
cs.LO2020★ 8 cited
Internal Parametricity for Cubical Type Theory
Evan Cavallo, Robert Harper
We define a computational type theory combining the contentful equality structure of cartesian cubical type theory with internal parametricity primitives. The combined theory suppo…