Academic Journal
Pure type systems with corecursion on streams : from finite to infinitary normalisation
| Title: | Pure type systems with corecursion on streams : from finite to infinitary normalisation |
|---|---|
| Authors: | Severi, Paula G., de Vries, Fer-Jan J. |
| Source: | ACM SIGPLAN Notices - ICFP '12. 47(9):141-152 |
| Availability: | http://dl.acm.org/doi/10.1145/2398856.2364550 |
| Database: | ACM Full-Text Collection |
| ISSN: | 03621340 15581160 |
|---|---|
| DOI: | 10.1145/2398856.2364550 |