Matches in SemOpenAlex for { <https://semopenalex.org/work/W44613125> ?p ?o ?g. }
Showing items 1 to 85 of
85
with 100 items per page.
- W44613125 endingPage "258" @default.
- W44613125 startingPage "217" @default.
- W44613125 abstract "Some programs are doubly generic. For example, map is datatype-generic in that many different data structures support a mapping operation. A generic programming language like Generic Haskell can use a single definition to generate map for each type. However, map is also arity-generic because it belongs to a family of related operations that differ in the number of arguments. For lists, this family includes familiar functions from the Haskell standard library (such as repeat, map, and zipWith). This tutorial explores these forms of genericity individually and together. These two axes are not orthogonal: datatype-generic versions of repeat, map and zipWith have different arities of kind-indexed types. We explore these forms of genericity in the context of the Agda programming language, using the expressiveness of dependent types to capture both forms of genericity in a common framework. Therefore, this tutorial serves as an introduction to dependently typed languages as well as generic programming. The target audience of this work is someone who is familiar with functional programming languages, such as Haskell or ML, but would like to learn about dependently typed languages. We do not assume prior experience with Agda, type- or arity-generic programming." @default.
- W44613125 created "2016-06-24" @default.
- W44613125 creator A5021193410 @default.
- W44613125 creator A5049220962 @default.
- W44613125 date "2012-01-01" @default.
- W44613125 modified "2023-10-18" @default.
- W44613125 title "Generic Programming with Dependent Types" @default.
- W44613125 cites W1489879801 @default.
- W44613125 cites W1570978294 @default.
- W44613125 cites W1578113853 @default.
- W44613125 cites W1778142413 @default.
- W44613125 cites W1995675054 @default.
- W44613125 cites W2005130481 @default.
- W44613125 cites W2014836228 @default.
- W44613125 cites W2027584005 @default.
- W44613125 cites W2057257598 @default.
- W44613125 cites W2062887328 @default.
- W44613125 cites W2095625219 @default.
- W44613125 cites W2107214848 @default.
- W44613125 cites W2109649240 @default.
- W44613125 cites W2123212991 @default.
- W44613125 cites W2131828631 @default.
- W44613125 cites W2132254891 @default.
- W44613125 cites W2135642511 @default.
- W44613125 cites W2137473542 @default.
- W44613125 cites W2145575901 @default.
- W44613125 cites W2147643247 @default.
- W44613125 cites W2150895128 @default.
- W44613125 cites W2157480301 @default.
- W44613125 cites W4251772834 @default.
- W44613125 cites W9594217 @default.
- W44613125 doi "https://doi.org/10.1007/978-3-642-32202-0_5" @default.
- W44613125 hasPublicationYear "2012" @default.
- W44613125 type Work @default.
- W44613125 sameAs 44613125 @default.
- W44613125 citedByCount "1" @default.
- W44613125 countsByYear W446131252023 @default.
- W44613125 crossrefType "book-chapter" @default.
- W44613125 hasAuthorship W44613125A5021193410 @default.
- W44613125 hasAuthorship W44613125A5049220962 @default.
- W44613125 hasBestOaLocation W446131252 @default.
- W44613125 hasConcept C110546421 @default.
- W44613125 hasConcept C118615104 @default.
- W44613125 hasConcept C146206909 @default.
- W44613125 hasConcept C199360897 @default.
- W44613125 hasConcept C2780624054 @default.
- W44613125 hasConcept C33923547 @default.
- W44613125 hasConcept C34165917 @default.
- W44613125 hasConcept C41008148 @default.
- W44613125 hasConcept C42383842 @default.
- W44613125 hasConcept C50033165 @default.
- W44613125 hasConcept C7051814 @default.
- W44613125 hasConcept C80444323 @default.
- W44613125 hasConceptScore W44613125C110546421 @default.
- W44613125 hasConceptScore W44613125C118615104 @default.
- W44613125 hasConceptScore W44613125C146206909 @default.
- W44613125 hasConceptScore W44613125C199360897 @default.
- W44613125 hasConceptScore W44613125C2780624054 @default.
- W44613125 hasConceptScore W44613125C33923547 @default.
- W44613125 hasConceptScore W44613125C34165917 @default.
- W44613125 hasConceptScore W44613125C41008148 @default.
- W44613125 hasConceptScore W44613125C42383842 @default.
- W44613125 hasConceptScore W44613125C50033165 @default.
- W44613125 hasConceptScore W44613125C7051814 @default.
- W44613125 hasConceptScore W44613125C80444323 @default.
- W44613125 hasLocation W446131251 @default.
- W44613125 hasLocation W446131252 @default.
- W44613125 hasOpenAccess W44613125 @default.
- W44613125 hasPrimaryLocation W446131251 @default.
- W44613125 hasRelatedWork W137086793 @default.
- W44613125 hasRelatedWork W1511530761 @default.
- W44613125 hasRelatedWork W1843061262 @default.
- W44613125 hasRelatedWork W2002373993 @default.
- W44613125 hasRelatedWork W2073905442 @default.
- W44613125 hasRelatedWork W2318681340 @default.
- W44613125 hasRelatedWork W2886887129 @default.
- W44613125 hasRelatedWork W3014668873 @default.
- W44613125 hasRelatedWork W4226340035 @default.
- W44613125 hasRelatedWork W44613125 @default.
- W44613125 isParatext "false" @default.
- W44613125 isRetracted "false" @default.
- W44613125 magId "44613125" @default.
- W44613125 workType "book-chapter" @default.