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 |