Name
Title | Citations | PageRank | Year |
|---|---|---|---|
| Logical Relations as Types: Proof-Relevant Parametricity for Program Modules | 0 | 0.34 | 2021 |
| INTERNAL PARAMETRICITY FOR CUBICAL TYPE THEORY | 0 | 0.34 | 2021 |
| Internal Parametricity for Cubical Type Theory. | 0 | 0.34 | 2020 |
| The history of Standard ML | 0 | 0.34 | 2020 |
| Higher inductive types in cubical computational type theory. | 2 | 0.37 | 2019 |
| Guarded Computational Type Theory. | 0 | 0.34 | 2018 |
| Computational higher-dimensional type theory. | 9 | 0.70 | 2017 |