Conference
Unification Modulo Isomorphisms between Dependent Types for Type-Based Library Search
| Τίτλος: | Unification Modulo Isomorphisms between Dependent Types for Type-Based Library Search |
|---|---|
| Συγγραφείς: | Takimoto, Satoshi, Moriguchi, Sosuke, Watanabe, Takuo |
| Πηγή: | Proceedings of the 10th ACM SIGPLAN International Workshop on Type-Driven Development. :15-25 |
| Διαθεσιμότητα: | http://dl.acm.org/doi/10.1145/3759538.3759651 |
| Βάση Δεδομένων: | ACM Full-Text Collection |
| DOI: | 10.1145/3759538.3759651 |
|---|