Academic Journal
Cubical agda: a dependently typed programming language with univalence and higher inductive types
| Τίτλος: | Cubical agda: a dependently typed programming language with univalence and higher inductive types |
|---|---|
| Συγγραφείς: | Vezzosi, Andrea, Mörtberg, Anders, Abel, Andreas |
| Πηγή: | Proceedings of the ACM on Programming Languages. 3(ICFP):1-29 |
| Διαθεσιμότητα: | http://dl.acm.org/doi/10.1145/3341691 |
| Βάση Δεδομένων: | ACM Full-Text Collection |
καταχωρήστε σχόλιο πρώτοι!