| Автор | DAMIANI, FERRUCCIO |
| Дата выпуска | 2003 |
| dc.description | We investigate the use of conjunctive non-standard type inference for the elimination of useless code in higher-order typed functional programs. In particular, we present a non-standard type assignment system for detecting useless code together with a mapping that simplifies a program by removing the useless code detected using the system. |
| Издатель | Cambridge University Press |
| Название | A conjunctive type system for useless-code elimination |
| DOI | 10.1017/S0960129502003869 |
| Electronic ISSN | 1469-8072 |
| Print ISSN | 0960-1295 |
| Журнал | Mathematical Structures in Computer Science |
| Том | 13 |
| Первая страница | 157 |
| Последняя страница | 197 |
| Аффилиация | DAMIANI FERRUCCIO; Università di Torino |
| Выпуск | 1 |
