Academic Journal
Structures for structural recursion
| Τίτλος: | Structures for structural recursion |
|---|---|
| Συγγραφείς: | Downen, Paul, Johnson-Freyd, Philip, Ariola, Zena M. |
| Πηγή: | ACM SIGPLAN Notices - ICFP '15. 50(9):127-139 |
| Διαθεσιμότητα: | http://dl.acm.org/doi/10.1145/2858949.2784762 |
| Βάση Δεδομένων: | ACM Full-Text Collection |
| ISSN: | 03621340 15581160 |
|---|---|
| DOI: | 10.1145/2858949.2784762 |