Matches in SemOpenAlex for { <https://semopenalex.org/work/W1986044902> ?p ?o ?g. }
Showing items 1 to 74 of
74
with 100 items per page.
- W1986044902 abstract "This paper introduces a pattern for almost compositional functions over recursive data types, and over families of mutually recursive data types. Here almost compositional means that for a number of the constructors in the type(s), the result of the function depends only on the constructor and the results of calling the function on the constructor's arguments. The pattern consists of a generic part constructed once for each data type or family of data types, and a task-specific part. The generic part contains the code for the predictable compositional cases, leaving the interesting work to the task-specific part. Examples of the pattern implemented in dependent type theory with inductive families, in Haskell with generalized algebraic data types and rank-2 polymorphism, and in Java using a variant of the Visitor design pattern are given. The relationship to the Scrap Your Boilerplate approach to generic programming, and to general tree types in dependent type theory are also investigated." @default.
- W1986044902 created "2016-06-24" @default.
- W1986044902 creator A5025594111 @default.
- W1986044902 creator A5054491296 @default.
- W1986044902 date "2006-09-16" @default.
- W1986044902 modified "2023-10-18" @default.
- W1986044902 title "A pattern for almost compositional functions" @default.
- W1986044902 cites W1541653499 @default.
- W1986044902 cites W1947395352 @default.
- W1986044902 cites W2009775190 @default.
- W1986044902 cites W2051096181 @default.
- W1986044902 cites W2058137890 @default.
- W1986044902 cites W2116813111 @default.
- W1986044902 cites W2140647971 @default.
- W1986044902 cites W2150526763 @default.
- W1986044902 cites W3004062484 @default.
- W1986044902 cites W4254510965 @default.
- W1986044902 doi "https://doi.org/10.1145/1159803.1159834" @default.
- W1986044902 hasPublicationYear "2006" @default.
- W1986044902 type Work @default.
- W1986044902 sameAs 1986044902 @default.
- W1986044902 citedByCount "16" @default.
- W1986044902 countsByYear W19860449022012 @default.
- W1986044902 countsByYear W19860449022015 @default.
- W1986044902 crossrefType "proceedings-article" @default.
- W1986044902 hasAuthorship W1986044902A5025594111 @default.
- W1986044902 hasAuthorship W1986044902A5054491296 @default.
- W1986044902 hasConcept C138958017 @default.
- W1986044902 hasConcept C162319229 @default.
- W1986044902 hasConcept C175971053 @default.
- W1986044902 hasConcept C18903297 @default.
- W1986044902 hasConcept C199360897 @default.
- W1986044902 hasConcept C2777299769 @default.
- W1986044902 hasConcept C2780624054 @default.
- W1986044902 hasConcept C41008148 @default.
- W1986044902 hasConcept C42383842 @default.
- W1986044902 hasConcept C68859911 @default.
- W1986044902 hasConcept C7051814 @default.
- W1986044902 hasConcept C75701414 @default.
- W1986044902 hasConcept C80444323 @default.
- W1986044902 hasConcept C86803240 @default.
- W1986044902 hasConcept C93682546 @default.
- W1986044902 hasConceptScore W1986044902C138958017 @default.
- W1986044902 hasConceptScore W1986044902C162319229 @default.
- W1986044902 hasConceptScore W1986044902C175971053 @default.
- W1986044902 hasConceptScore W1986044902C18903297 @default.
- W1986044902 hasConceptScore W1986044902C199360897 @default.
- W1986044902 hasConceptScore W1986044902C2777299769 @default.
- W1986044902 hasConceptScore W1986044902C2780624054 @default.
- W1986044902 hasConceptScore W1986044902C41008148 @default.
- W1986044902 hasConceptScore W1986044902C42383842 @default.
- W1986044902 hasConceptScore W1986044902C68859911 @default.
- W1986044902 hasConceptScore W1986044902C7051814 @default.
- W1986044902 hasConceptScore W1986044902C75701414 @default.
- W1986044902 hasConceptScore W1986044902C80444323 @default.
- W1986044902 hasConceptScore W1986044902C86803240 @default.
- W1986044902 hasConceptScore W1986044902C93682546 @default.
- W1986044902 hasLocation W19860449021 @default.
- W1986044902 hasOpenAccess W1986044902 @default.
- W1986044902 hasPrimaryLocation W19860449021 @default.
- W1986044902 hasRelatedWork W1688372159 @default.
- W1986044902 hasRelatedWork W2145738007 @default.
- W1986044902 hasRelatedWork W2157155332 @default.
- W1986044902 hasRelatedWork W2163101388 @default.
- W1986044902 hasRelatedWork W2597112604 @default.
- W1986044902 hasRelatedWork W2971609332 @default.
- W1986044902 hasRelatedWork W3187621315 @default.
- W1986044902 hasRelatedWork W60733025 @default.
- W1986044902 hasRelatedWork W2517735682 @default.
- W1986044902 hasRelatedWork W2523205872 @default.
- W1986044902 isParatext "false" @default.
- W1986044902 isRetracted "false" @default.
- W1986044902 magId "1986044902" @default.
- W1986044902 workType "article" @default.