Matches in SemOpenAlex for { <https://semopenalex.org/work/W757407613> ?p ?o ?g. }
Showing items 1 to 88 of
88
with 100 items per page.
- W757407613 endingPage "112" @default.
- W757407613 startingPage "93" @default.
- W757407613 abstract "Generic programming (GP) is a form of abstraction in programming languages that serves to reduce code duplication by exploiting the regular structure of algebraic datatypes. Several different approaches to GP in Haskell have surfaced, giving rise to the problem of code duplication across GP libraries. Given the original goals of GP, this is a rather unfortunate turn of events. Fortunately, we can convert between the different representations of each approach, which allows us to “borrow” generic functions from different approaches, avoiding the need to reimplement every generic function in every single GP library. In previous work we have shown how existing GP libraries relate to each other. In this paper we go one step further and advocate “hierarchical GP”: through proper design of different GP approaches, each library can fit neatly in a hierarchy, greatly minimizing the amount of supporting infrastructure necessary for each approach, and allowing each library to be specific and concise, while eliminating code duplication overall. We introduce a new library for GP in Haskell intended to sit at the top of the “GP hierarchy”. This library contains a lot of structural information, and is not intended to be used directly. Instead, it is a good starting point for generating generic representations for other libraries. This approach is also suitable for being the only library with native compiler support; all other approaches can be obtained from this one by simple conversion of representations in plain Haskell code." @default.
- W757407613 created "2016-06-24" @default.
- W757407613 creator A5027537142 @default.
- W757407613 creator A5076048903 @default.
- W757407613 date "2015-01-01" @default.
- W757407613 modified "2023-10-14" @default.
- W757407613 title "Hierarchy in Generic Programming Libraries" @default.
- W757407613 cites W1530957372 @default.
- W757407613 cites W1688372159 @default.
- W757407613 cites W2007492338 @default.
- W757407613 cites W2009775190 @default.
- W757407613 cites W2093896470 @default.
- W757407613 cites W2112474400 @default.
- W757407613 cites W2148944677 @default.
- W757407613 cites W2154390633 @default.
- W757407613 cites W2167268698 @default.
- W757407613 cites W3140687576 @default.
- W757407613 cites W4213090963 @default.
- W757407613 cites W4250126356 @default.
- W757407613 cites W46208337 @default.
- W757407613 doi "https://doi.org/10.1007/978-3-319-19797-5_5" @default.
- W757407613 hasPublicationYear "2015" @default.
- W757407613 type Work @default.
- W757407613 sameAs 757407613 @default.
- W757407613 citedByCount "1" @default.
- W757407613 countsByYear W7574076132021 @default.
- W757407613 crossrefType "book-chapter" @default.
- W757407613 hasAuthorship W757407613A5027537142 @default.
- W757407613 hasAuthorship W757407613A5076048903 @default.
- W757407613 hasBestOaLocation W7574076132 @default.
- W757407613 hasConcept C111472728 @default.
- W757407613 hasConcept C124304363 @default.
- W757407613 hasConcept C138885662 @default.
- W757407613 hasConcept C162324750 @default.
- W757407613 hasConcept C169590947 @default.
- W757407613 hasConcept C177264268 @default.
- W757407613 hasConcept C199360897 @default.
- W757407613 hasConcept C2524010 @default.
- W757407613 hasConcept C2776760102 @default.
- W757407613 hasConcept C2780586882 @default.
- W757407613 hasConcept C2780624054 @default.
- W757407613 hasConcept C28719098 @default.
- W757407613 hasConcept C31170391 @default.
- W757407613 hasConcept C33923547 @default.
- W757407613 hasConcept C34447519 @default.
- W757407613 hasConcept C41008148 @default.
- W757407613 hasConcept C42383842 @default.
- W757407613 hasConcept C7051814 @default.
- W757407613 hasConcept C80444323 @default.
- W757407613 hasConceptScore W757407613C111472728 @default.
- W757407613 hasConceptScore W757407613C124304363 @default.
- W757407613 hasConceptScore W757407613C138885662 @default.
- W757407613 hasConceptScore W757407613C162324750 @default.
- W757407613 hasConceptScore W757407613C169590947 @default.
- W757407613 hasConceptScore W757407613C177264268 @default.
- W757407613 hasConceptScore W757407613C199360897 @default.
- W757407613 hasConceptScore W757407613C2524010 @default.
- W757407613 hasConceptScore W757407613C2776760102 @default.
- W757407613 hasConceptScore W757407613C2780586882 @default.
- W757407613 hasConceptScore W757407613C2780624054 @default.
- W757407613 hasConceptScore W757407613C28719098 @default.
- W757407613 hasConceptScore W757407613C31170391 @default.
- W757407613 hasConceptScore W757407613C33923547 @default.
- W757407613 hasConceptScore W757407613C34447519 @default.
- W757407613 hasConceptScore W757407613C41008148 @default.
- W757407613 hasConceptScore W757407613C42383842 @default.
- W757407613 hasConceptScore W757407613C7051814 @default.
- W757407613 hasConceptScore W757407613C80444323 @default.
- W757407613 hasLocation W7574076131 @default.
- W757407613 hasLocation W7574076132 @default.
- W757407613 hasOpenAccess W757407613 @default.
- W757407613 hasPrimaryLocation W7574076131 @default.
- W757407613 hasRelatedWork W1505177643 @default.
- W757407613 hasRelatedWork W1757338326 @default.
- W757407613 hasRelatedWork W2140846949 @default.
- W757407613 hasRelatedWork W2177866842 @default.
- W757407613 hasRelatedWork W2760941369 @default.
- W757407613 hasRelatedWork W2886887129 @default.
- W757407613 hasRelatedWork W4246781209 @default.
- W757407613 hasRelatedWork W4251805752 @default.
- W757407613 hasRelatedWork W2494565114 @default.
- W757407613 hasRelatedWork W2516023812 @default.
- W757407613 isParatext "false" @default.
- W757407613 isRetracted "false" @default.
- W757407613 magId "757407613" @default.
- W757407613 workType "book-chapter" @default.