Utilize este identificador para referenciar este registo:
https://hdl.handle.net/1822/843
Registo completo
Campo DC | Valor | Idioma |
---|---|---|
dc.contributor.author | Pinto, Jorge Sousa | - |
dc.date.accessioned | 2005-01-26T12:24:37Z | - |
dc.date.available | 2005-01-26T12:24:37Z | - |
dc.date.issued | 2004 | - |
dc.identifier.citation | PINTO, Jorge Sousa – “Generalizing Hilo-shift”. Braga : Universidade do Minho. Departamento de Informática, 2004. | eng |
dc.identifier.uri | https://hdl.handle.net/1822/843 | - |
dc.description.abstract | 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). | eng |
dc.description.sponsorship | Presidência do Conselho de Ministros - POSI/ICHS/44304/2002. | eng |
dc.language.iso | eng | - |
dc.publisher | Universidade do Minho. Departamento de Informática | eng |
dc.relation.ispartofseries | DI-PURe;04:10:01 | - |
dc.rights | openAccess | eng |
dc.subject | Program calculation | eng |
dc.subject | Functional programming | eng |
dc.subject | Hylomorphisms | eng |
dc.title | Generalizing Hylo-shift | eng |
dc.type | report | eng |
Aparece nas coleções: | DI/CCTC - Relatórios Técnicos |