FRINK Linked Data Fragments server

Matches in SemOpenAlex for { <https://semopenalex.org/work/W2014143852> ?p ?o ?g. }

• W2014143852 abstract "The past decades have witnessed an extensive study of structured recursion schemes. A general scheme is the hylomorphism, which captures the essence of divide-and-conquer: a problem is broken into sub-problems by a coalgebra; sub-problems are solved recursively; the sub-solutions are combined by an algebra to form a solution. In this paper we develop a simple toolbox for assembling recursive coalgebras, which by definition ensure that their hylo equations have unique solutions, whatever the algebra. Our main tool is the conjugate rule, a generic rule parametrized by an adjunction and a conjugate pair of natural transformations. We show that many basic adjunctions induce useful recursion schemes. In fact, almost every structured recursion scheme seems to arise as an instance of the conjugate rule. Further, we adapt our toolbox to the more expressive setting of parametrically recursive coalgebras, where the original input is also passed to the algebra. The formal development is complemented by a series of worked-out examples in Haskell." @default.
• W2014143852 created "2016-06-24" @default.
• W2014143852 creator A5063247380 @default.
• W2014143852 creator A5072641397 @default.
• W2014143852 creator A5086558126 @default.
• W2014143852 date "2015-01-14" @default.
• W2014143852 modified "2023-09-26" @default.
• W2014143852 title "Conjugate Hylomorphisms -- Or" @default.
• W2014143852 cites W1552676905 @default.
• W2014143852 cites W1608714802 @default.
• W2014143852 cites W1975580206 @default.
• W2014143852 cites W1982594584 @default.
• W2014143852 cites W2034224051 @default.
• W2014143852 cites W2036563325 @default.
• W2014143852 cites W2079698957 @default.
• W2014143852 cites W2082232201 @default.
• W2014143852 cites W2085858043 @default.
• W2014143852 cites W2105287078 @default.
• W2014143852 cites W2110979194 @default.
• W2014143852 cites W2116908067 @default.
• W2014143852 cites W2133393261 @default.
• W2014143852 cites W2135326783 @default.
• W2014143852 cites W2151015971 @default.
• W2014143852 cites W2163256338 @default.
• W2014143852 cites W4244792373 @default.
• W2014143852 cites W4253666772 @default.
• W2014143852 cites W50416634 @default.
• W2014143852 doi "https://doi.org/10.1145/2676726.2676989" @default.
• W2014143852 hasPublicationYear "2015" @default.
• W2014143852 type Work @default.
• W2014143852 sameAs 2014143852 @default.
• W2014143852 citedByCount "8" @default.
• W2014143852 countsByYear W20141438522015 @default.
• W2014143852 countsByYear W20141438522019 @default.
• W2014143852 countsByYear W20141438522020 @default.
• W2014143852 countsByYear W20141438522021 @default.
• W2014143852 countsByYear W20141438522022 @default.
• W2014143852 crossrefType "proceedings-article" @default.
• W2014143852 hasAuthorship W2014143852A5063247380 @default.
• W2014143852 hasAuthorship W2014143852A5072641397 @default.
• W2014143852 hasAuthorship W2014143852A5086558126 @default.
• W2014143852 hasConcept C111472728 @default.
• W2014143852 hasConcept C11413529 @default.
• W2014143852 hasConcept C134306372 @default.
• W2014143852 hasConcept C136119220 @default.
• W2014143852 hasConcept C138885662 @default.
• W2014143852 hasConcept C143724316 @default.
• W2014143852 hasConcept C151730666 @default.
• W2014143852 hasConcept C156772000 @default.
• W2014143852 hasConcept C168773036 @default.
• W2014143852 hasConcept C199360897 @default.
• W2014143852 hasConcept C202444582 @default.
• W2014143852 hasConcept C2777655017 @default.
• W2014143852 hasConcept C2778249326 @default.
• W2014143852 hasConcept C2780580338 @default.
• W2014143852 hasConcept C2780586882 @default.
• W2014143852 hasConcept C2780624054 @default.
• W2014143852 hasConcept C33923547 @default.
• W2014143852 hasConcept C41008148 @default.
• W2014143852 hasConcept C42383842 @default.
• W2014143852 hasConcept C71559656 @default.
• W2014143852 hasConcept C77618280 @default.
• W2014143852 hasConcept C80444323 @default.
• W2014143852 hasConcept C86803240 @default.
• W2014143852 hasConceptScore W2014143852C111472728 @default.
• W2014143852 hasConceptScore W2014143852C11413529 @default.
• W2014143852 hasConceptScore W2014143852C134306372 @default.
• W2014143852 hasConceptScore W2014143852C136119220 @default.
• W2014143852 hasConceptScore W2014143852C138885662 @default.
• W2014143852 hasConceptScore W2014143852C143724316 @default.
• W2014143852 hasConceptScore W2014143852C151730666 @default.
• W2014143852 hasConceptScore W2014143852C156772000 @default.
• W2014143852 hasConceptScore W2014143852C168773036 @default.
• W2014143852 hasConceptScore W2014143852C199360897 @default.
• W2014143852 hasConceptScore W2014143852C202444582 @default.
• W2014143852 hasConceptScore W2014143852C2777655017 @default.
• W2014143852 hasConceptScore W2014143852C2778249326 @default.
• W2014143852 hasConceptScore W2014143852C2780580338 @default.
• W2014143852 hasConceptScore W2014143852C2780586882 @default.
• W2014143852 hasConceptScore W2014143852C2780624054 @default.
• W2014143852 hasConceptScore W2014143852C33923547 @default.
• W2014143852 hasConceptScore W2014143852C41008148 @default.
• W2014143852 hasConceptScore W2014143852C42383842 @default.
• W2014143852 hasConceptScore W2014143852C71559656 @default.
• W2014143852 hasConceptScore W2014143852C77618280 @default.
• W2014143852 hasConceptScore W2014143852C80444323 @default.
• W2014143852 hasConceptScore W2014143852C86803240 @default.
• W2014143852 hasFunder F4320334627 @default.
• W2014143852 hasLocation W20141438521 @default.
• W2014143852 hasOpenAccess W2014143852 @default.
• W2014143852 hasPrimaryLocation W20141438521 @default.
• W2014143852 hasRelatedWork W1588285800 @default.
• W2014143852 hasRelatedWork W1597880310 @default.
• W2014143852 hasRelatedWork W1757338326 @default.
• W2014143852 hasRelatedWork W2014143852 @default.
• W2014143852 hasRelatedWork W2069663962 @default.
• W2014143852 hasRelatedWork W2127617483 @default.
• W2014143852 hasRelatedWork W2278026657 @default.
• W2014143852 hasRelatedWork W2482538793 @default.
• W2014143852 hasRelatedWork W3012812871 @default.

• next