Utilize este identificador para referenciar este registo:
https://hdl.handle.net/1822/843| Título: | Generalizing Hylo-shift |
| Autor(es): | Pinto, Jorge Sousa |
| Palavras-chave: | Program calculation Functional programming Hylomorphisms |
| Data: | 2004 |
| Editora: | Universidade do Minho. Departamento de Informática |
| Citação: | PINTO, Jorge Sousa – “Generalizing Hilo-shift”. Braga : Universidade do Minho. Departamento de Informática, 2004. |
| Relatório da Série N.º: | DI-PURe;04:10:01 |
| Resumo(s): | This note proposes a generalization of the Hylo-shift law for functional program calculation. The generalization allows to handle transformations involving recursive types generated by polynomials where other recursive types occur (for instance, lists of binary trees). |
| Tipo: | Relatório |
| URI: | https://hdl.handle.net/1822/843 |
| Acesso: | Acesso aberto |
| Aparece nas coleções: | DI/CCTC - Relatórios Técnicos |
