Academic Journal
Structures for structural recursion
| Title: | Structures for structural recursion |
|---|---|
| Authors: | Downen, Paul, Johnson-Freyd, Philip, Ariola, Zena M. |
| Source: | ACM SIGPLAN Notices - ICFP '15. 50(9):127-139 |
| Availability: | http://dl.acm.org/doi/10.1145/2858949.2784762 |
| Database: | ACM Full-Text Collection |
Be the first to leave a comment!