Please use this identifier to cite or link to this item:

TitleGeneralizing Hylo-shift
Author(s)Pinto, Jorge Sousa
KeywordsProgram calculation
Functional programming
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).
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