Matches in SemOpenAlex for { <https://semopenalex.org/work/W3147415071> ?p ?o ?g. }
Showing items 1 to 96 of
96
with 100 items per page.
- W3147415071 abstract "In functional programming languages, generalized algebraic data types (GADTs) are very useful as the unnecessary pattern matching over them can be ruled out by the failure of unification of type arguments. In dependent type systems, this is usually called indexed types and it's particularly useful as the identity type is a special case of it. However, pattern matching over indexed types is very complicated as it requires term unification in general. We study a simplified version of indexed types (called simpler indexed types) where we explicitly specify the selection process of constructors, and we discuss its expressiveness, limitations, and properties." @default.
- W3147415071 created "2021-04-13" @default.
- W3147415071 creator A5008976915 @default.
- W3147415071 date "2021-03-29" @default.
- W3147415071 modified "2023-09-27" @default.
- W3147415071 title "A simpler encoding of indexed types" @default.
- W3147415071 cites W1517671027 @default.
- W3147415071 cites W1522049235 @default.
- W3147415071 cites W1827112781 @default.
- W3147415071 cites W190674159 @default.
- W3147415071 cites W1982209843 @default.
- W3147415071 cites W1984514567 @default.
- W3147415071 cites W2012619465 @default.
- W3147415071 cites W2058174669 @default.
- W3147415071 cites W2109775380 @default.
- W3147415071 cites W2113232207 @default.
- W3147415071 cites W2140647971 @default.
- W3147415071 cites W2145108549 @default.
- W3147415071 cites W2158830522 @default.
- W3147415071 cites W2290325328 @default.
- W3147415071 cites W2513071761 @default.
- W3147415071 cites W2550513301 @default.
- W3147415071 cites W2564286502 @default.
- W3147415071 cites W2900323387 @default.
- W3147415071 cites W2912293148 @default.
- W3147415071 doi "https://doi.org/10.48550/arxiv.2103.15408" @default.
- W3147415071 hasPublicationYear "2021" @default.
- W3147415071 type Work @default.
- W3147415071 sameAs 3147415071 @default.
- W3147415071 citedByCount "0" @default.
- W3147415071 crossrefType "posted-content" @default.
- W3147415071 hasAuthorship W3147415071A5008976915 @default.
- W3147415071 hasBestOaLocation W31474150711 @default.
- W3147415071 hasConcept C105795698 @default.
- W3147415071 hasConcept C125411270 @default.
- W3147415071 hasConcept C134306372 @default.
- W3147415071 hasConcept C136119220 @default.
- W3147415071 hasConcept C138958017 @default.
- W3147415071 hasConcept C154945302 @default.
- W3147415071 hasConcept C165064840 @default.
- W3147415071 hasConcept C18903297 @default.
- W3147415071 hasConcept C199360897 @default.
- W3147415071 hasConcept C202444582 @default.
- W3147415071 hasConcept C20528804 @default.
- W3147415071 hasConcept C2777299769 @default.
- W3147415071 hasConcept C33923547 @default.
- W3147415071 hasConcept C41008148 @default.
- W3147415071 hasConcept C42383842 @default.
- W3147415071 hasConcept C62073222 @default.
- W3147415071 hasConcept C68859911 @default.
- W3147415071 hasConcept C7051814 @default.
- W3147415071 hasConcept C80444323 @default.
- W3147415071 hasConcept C81917197 @default.
- W3147415071 hasConcept C86803240 @default.
- W3147415071 hasConcept C9376300 @default.
- W3147415071 hasConcept C96146094 @default.
- W3147415071 hasConceptScore W3147415071C105795698 @default.
- W3147415071 hasConceptScore W3147415071C125411270 @default.
- W3147415071 hasConceptScore W3147415071C134306372 @default.
- W3147415071 hasConceptScore W3147415071C136119220 @default.
- W3147415071 hasConceptScore W3147415071C138958017 @default.
- W3147415071 hasConceptScore W3147415071C154945302 @default.
- W3147415071 hasConceptScore W3147415071C165064840 @default.
- W3147415071 hasConceptScore W3147415071C18903297 @default.
- W3147415071 hasConceptScore W3147415071C199360897 @default.
- W3147415071 hasConceptScore W3147415071C202444582 @default.
- W3147415071 hasConceptScore W3147415071C20528804 @default.
- W3147415071 hasConceptScore W3147415071C2777299769 @default.
- W3147415071 hasConceptScore W3147415071C33923547 @default.
- W3147415071 hasConceptScore W3147415071C41008148 @default.
- W3147415071 hasConceptScore W3147415071C42383842 @default.
- W3147415071 hasConceptScore W3147415071C62073222 @default.
- W3147415071 hasConceptScore W3147415071C68859911 @default.
- W3147415071 hasConceptScore W3147415071C7051814 @default.
- W3147415071 hasConceptScore W3147415071C80444323 @default.
- W3147415071 hasConceptScore W3147415071C81917197 @default.
- W3147415071 hasConceptScore W3147415071C86803240 @default.
- W3147415071 hasConceptScore W3147415071C9376300 @default.
- W3147415071 hasConceptScore W3147415071C96146094 @default.
- W3147415071 hasLocation W31474150711 @default.
- W3147415071 hasOpenAccess W3147415071 @default.
- W3147415071 hasPrimaryLocation W31474150711 @default.
- W3147415071 hasRelatedWork W138078219 @default.
- W3147415071 hasRelatedWork W1558175043 @default.
- W3147415071 hasRelatedWork W1827112781 @default.
- W3147415071 hasRelatedWork W2019388039 @default.
- W3147415071 hasRelatedWork W2110020126 @default.
- W3147415071 hasRelatedWork W2119897009 @default.
- W3147415071 hasRelatedWork W2520254002 @default.
- W3147415071 hasRelatedWork W3147415071 @default.
- W3147415071 hasRelatedWork W4205979273 @default.
- W3147415071 hasRelatedWork W4238823939 @default.
- W3147415071 isParatext "false" @default.
- W3147415071 isRetracted "false" @default.
- W3147415071 magId "3147415071" @default.
- W3147415071 workType "article" @default.