Matches in SemOpenAlex for { <https://semopenalex.org/work/W2296612922> ?p ?o ?g. }
Showing items 1 to 94 of
94
with 100 items per page.
- W2296612922 abstract "We show that the syntactically rich notion of inductive families can be reduced to a core type theory with a fixed number of type constructors exploiting the novel notion of indexed containers. Indexed containers generalize simple containers, capturing strictly positive families instead of just strictly positive types, without having to extend the core type theory. Other applications of indexed containers include data type-generic programming and reasoning about polymorphic functions. The construction presented here has been formalized using the Agda system." @default.
- W2296612922 created "2016-06-24" @default.
- W2296612922 creator A5056420469 @default.
- W2296612922 creator A5058486345 @default.
- W2296612922 date "2009-08-01" @default.
- W2296612922 modified "2023-10-14" @default.
- W2296612922 title "Indexed Containers" @default.
- W2296612922 cites W1496429054 @default.
- W2296612922 cites W1539120745 @default.
- W2296612922 cites W1539303361 @default.
- W2296612922 cites W1836508668 @default.
- W2296612922 cites W2000806582 @default.
- W2296612922 cites W2004553747 @default.
- W2296612922 cites W2060286614 @default.
- W2296612922 cites W2079640625 @default.
- W2296612922 cites W2084015889 @default.
- W2296612922 cites W2132221175 @default.
- W2296612922 cites W2133629640 @default.
- W2296612922 cites W2912949875 @default.
- W2296612922 doi "https://doi.org/10.1109/lics.2009.33" @default.
- W2296612922 hasPublicationYear "2009" @default.
- W2296612922 type Work @default.
- W2296612922 sameAs 2296612922 @default.
- W2296612922 citedByCount "50" @default.
- W2296612922 countsByYear W22966129222012 @default.
- W2296612922 countsByYear W22966129222013 @default.
- W2296612922 countsByYear W22966129222014 @default.
- W2296612922 countsByYear W22966129222015 @default.
- W2296612922 countsByYear W22966129222016 @default.
- W2296612922 countsByYear W22966129222017 @default.
- W2296612922 countsByYear W22966129222018 @default.
- W2296612922 countsByYear W22966129222019 @default.
- W2296612922 countsByYear W22966129222020 @default.
- W2296612922 countsByYear W22966129222022 @default.
- W2296612922 crossrefType "proceedings-article" @default.
- W2296612922 hasAuthorship W2296612922A5056420469 @default.
- W2296612922 hasAuthorship W2296612922A5058486345 @default.
- W2296612922 hasConcept C111472728 @default.
- W2296612922 hasConcept C135790938 @default.
- W2296612922 hasConcept C136119220 @default.
- W2296612922 hasConcept C138885662 @default.
- W2296612922 hasConcept C138958017 @default.
- W2296612922 hasConcept C18903297 @default.
- W2296612922 hasConcept C199360897 @default.
- W2296612922 hasConcept C202444582 @default.
- W2296612922 hasConcept C20528804 @default.
- W2296612922 hasConcept C2164484 @default.
- W2296612922 hasConcept C2777299769 @default.
- W2296612922 hasConcept C2780586882 @default.
- W2296612922 hasConcept C33923547 @default.
- W2296612922 hasConcept C41008148 @default.
- W2296612922 hasConcept C42383842 @default.
- W2296612922 hasConcept C7051814 @default.
- W2296612922 hasConcept C76155785 @default.
- W2296612922 hasConcept C80444323 @default.
- W2296612922 hasConcept C86803240 @default.
- W2296612922 hasConcept C93682546 @default.
- W2296612922 hasConceptScore W2296612922C111472728 @default.
- W2296612922 hasConceptScore W2296612922C135790938 @default.
- W2296612922 hasConceptScore W2296612922C136119220 @default.
- W2296612922 hasConceptScore W2296612922C138885662 @default.
- W2296612922 hasConceptScore W2296612922C138958017 @default.
- W2296612922 hasConceptScore W2296612922C18903297 @default.
- W2296612922 hasConceptScore W2296612922C199360897 @default.
- W2296612922 hasConceptScore W2296612922C202444582 @default.
- W2296612922 hasConceptScore W2296612922C20528804 @default.
- W2296612922 hasConceptScore W2296612922C2164484 @default.
- W2296612922 hasConceptScore W2296612922C2777299769 @default.
- W2296612922 hasConceptScore W2296612922C2780586882 @default.
- W2296612922 hasConceptScore W2296612922C33923547 @default.
- W2296612922 hasConceptScore W2296612922C41008148 @default.
- W2296612922 hasConceptScore W2296612922C42383842 @default.
- W2296612922 hasConceptScore W2296612922C7051814 @default.
- W2296612922 hasConceptScore W2296612922C76155785 @default.
- W2296612922 hasConceptScore W2296612922C80444323 @default.
- W2296612922 hasConceptScore W2296612922C86803240 @default.
- W2296612922 hasConceptScore W2296612922C93682546 @default.
- W2296612922 hasLocation W22966129221 @default.
- W2296612922 hasOpenAccess W2296612922 @default.
- W2296612922 hasPrimaryLocation W22966129221 @default.
- W2296612922 hasRelatedWork W1488885199 @default.
- W2296612922 hasRelatedWork W1511530761 @default.
- W2296612922 hasRelatedWork W1558175043 @default.
- W2296612922 hasRelatedWork W2019388039 @default.
- W2296612922 hasRelatedWork W2082043541 @default.
- W2296612922 hasRelatedWork W2110020126 @default.
- W2296612922 hasRelatedWork W2119897009 @default.
- W2296612922 hasRelatedWork W2139102157 @default.
- W2296612922 hasRelatedWork W2296612922 @default.
- W2296612922 hasRelatedWork W4213453328 @default.
- W2296612922 isParatext "false" @default.
- W2296612922 isRetracted "false" @default.
- W2296612922 magId "2296612922" @default.
- W2296612922 workType "article" @default.