Conference
A Formalization of Opaque Definitions for a Dependent Type Theory
| Τίτλος: | A Formalization of Opaque Definitions for a Dependent Type Theory |
|---|---|
| Συγγραφείς: | Danielsson, Nils Anders, Geng, Eve |
| Πηγή: | Proceedings of the 10th ACM SIGPLAN International Workshop on Type-Driven Development. :39-51 |
| Διαθεσιμότητα: | http://dl.acm.org/doi/10.1145/3759538.3759653 |
| Βάση Δεδομένων: | ACM Full-Text Collection |
| DOI: | 10.1145/3759538.3759653 |
|---|