Please use this identifier to cite or link to this item: http://hdl.handle.net/1822/843

TitleGeneralizing Hylo-shift
Author(s)Pinto, Jorge Sousa
KeywordsProgram calculation
Functional programming
Hylomorphisms
Issue date2004
PublisherUniversidade do Minho. Departamento de Informática
CitationPINTO, Jorge Sousa – “Generalizing Hilo-shift”. Braga : Universidade do Minho. Departamento de Informática, 2004.
Series/Report no.DI-PURe;04:10:01
Abstract(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).
TypeReport
URIhttp://hdl.handle.net/1822/843
AccessOpen access
Appears in Collections:DI/CCTC - Relatórios Técnicos

Files in This Item:
File Description SizeFormat 
main.pdf144,47 kBAdobe PDFView/Open

Partilhe no FacebookPartilhe no TwitterPartilhe no DeliciousPartilhe no LinkedInPartilhe no DiggAdicionar ao Google BookmarksPartilhe no MySpacePartilhe no Orkut
Exporte no formato BibTex mendeley Exporte no formato Endnote Adicione ao seu ORCID