Cubical agda: a dependently typed programming language with univalence and higher inductive types

Andrea Vezzosi, Anders Mörtberg, Andreas Abel

Research output: Journal Article or Conference Article in Journal › Conference article › Research › peer-review

1 results
- Title(descending)
- Award date

ICFP'19 Distinguished Paper Award
Vezzosi, A. (Recipient), Aug 2019
Prize: Prizes, scholarships, distinctions