Priser
- 1 resultater
Søgeresultater
-
ICFP'19 Distinguished Paper Award
Vezzosi, A. (Modtager), aug. 2019
Pris: Priser, stipendier, udnævnelser
Cubical agda: a dependently typed programming language with univalence and higher inductive types
- Andrea Vezzosi
- , Anders Mörtberg
- , Andreas Abel
- Chalmers University of Technology
- Stockholm University
Publikation: Artikel i tidsskrift og konference artikel i tidsskrift › Konferenceartikel › Forskning › peer review