FRINK Linked Data Fragments server

Matches in SemOpenAlex for { <https://semopenalex.org/work/W2029422023> ?p ?o ?g. }

• W2029422023 endingPage "240" @default.
• W2029422023 startingPage "227" @default.
• W2029422023 abstract "Modular languages support generative type abstraction, ensuring that an abstract type is distinct from its representation, except inside the implementation where the two are synonymous. We show that this well-established feature is in tension with the non-parametric features of newer type systems, such as indexed type families and GADTs. In this paper we solve the problem by using kinds to distinguish between parametric and non-parametric contexts. The result is directly applicable to Haskell, which is rapidly developing support for type-level computation, but the same issues should arise whenever generativity and non-parametric features are combined." @default.
• W2029422023 created "2016-06-24" @default.
• W2029422023 creator A5027817074 @default.
• W2029422023 creator A5029108294 @default.
• W2029422023 creator A5041830534 @default.
• W2029422023 creator A5049220962 @default.
• W2029422023 date "2011-01-26" @default.
• W2029422023 modified "2023-09-27" @default.
• W2029422023 title "Generative type abstraction and type-level computation" @default.
• W2029422023 cites W1558175043 @default.
• W2029422023 cites W1970031091 @default.
• W2029422023 cites W1984514567 @default.
• W2029422023 cites W1986382835 @default.
• W2029422023 cites W2012619465 @default.
• W2029422023 cites W2022407453 @default.
• W2029422023 cites W2030916392 @default.
• W2029422023 cites W2058174669 @default.
• W2029422023 cites W2082367883 @default.
• W2029422023 cites W2095136535 @default.
• W2029422023 cites W2101274322 @default.
• W2029422023 cites W2107214848 @default.
• W2029422023 cites W2112121519 @default.
• W2029422023 cites W2120047901 @default.
• W2029422023 cites W2125690388 @default.
• W2029422023 cites W2135248810 @default.
• W2029422023 cites W2140647971 @default.
• W2029422023 cites W2144778998 @default.
• W2029422023 cites W2150187939 @default.
• W2029422023 cites W4213090963 @default.
• W2029422023 cites W4230729748 @default.
• W2029422023 cites W4235669620 @default.
• W2029422023 doi "https://doi.org/10.1145/1925844.1926411" @default.
• W2029422023 hasPublicationYear "2011" @default.
• W2029422023 type Work @default.
• W2029422023 sameAs 2029422023 @default.
• W2029422023 citedByCount "12" @default.
• W2029422023 countsByYear W20294220232013 @default.
• W2029422023 countsByYear W20294220232014 @default.
• W2029422023 countsByYear W20294220232015 @default.
• W2029422023 countsByYear W20294220232016 @default.
• W2029422023 countsByYear W20294220232019 @default.
• W2029422023 crossrefType "journal-article" @default.
• W2029422023 hasAuthorship W2029422023A5027817074 @default.
• W2029422023 hasAuthorship W2029422023A5029108294 @default.
• W2029422023 hasAuthorship W2029422023A5041830534 @default.
• W2029422023 hasAuthorship W2029422023A5049220962 @default.
• W2029422023 hasBestOaLocation W20294220232 @default.
• W2029422023 hasConcept C101468663 @default.
• W2029422023 hasConcept C105795698 @default.
• W2029422023 hasConcept C111472728 @default.
• W2029422023 hasConcept C117251300 @default.
• W2029422023 hasConcept C124304363 @default.
• W2029422023 hasConcept C138885662 @default.
• W2029422023 hasConcept C154945302 @default.
• W2029422023 hasConcept C162130032 @default.
• W2029422023 hasConcept C17744445 @default.
• W2029422023 hasConcept C18903297 @default.
• W2029422023 hasConcept C199360897 @default.
• W2029422023 hasConcept C199539241 @default.
• W2029422023 hasConcept C2776359362 @default.
• W2029422023 hasConcept C2776401178 @default.
• W2029422023 hasConcept C2777299769 @default.
• W2029422023 hasConcept C2780624054 @default.
• W2029422023 hasConcept C33923547 @default.
• W2029422023 hasConcept C39890363 @default.
• W2029422023 hasConcept C41008148 @default.
• W2029422023 hasConcept C41895202 @default.
• W2029422023 hasConcept C42383842 @default.
• W2029422023 hasConcept C45374587 @default.
• W2029422023 hasConcept C80444323 @default.
• W2029422023 hasConcept C86803240 @default.
• W2029422023 hasConcept C93682546 @default.
• W2029422023 hasConcept C94625758 @default.
• W2029422023 hasConceptScore W2029422023C101468663 @default.
• W2029422023 hasConceptScore W2029422023C105795698 @default.
• W2029422023 hasConceptScore W2029422023C111472728 @default.
• W2029422023 hasConceptScore W2029422023C117251300 @default.
• W2029422023 hasConceptScore W2029422023C124304363 @default.
• W2029422023 hasConceptScore W2029422023C138885662 @default.
• W2029422023 hasConceptScore W2029422023C154945302 @default.
• W2029422023 hasConceptScore W2029422023C162130032 @default.
• W2029422023 hasConceptScore W2029422023C17744445 @default.
• W2029422023 hasConceptScore W2029422023C18903297 @default.
• W2029422023 hasConceptScore W2029422023C199360897 @default.
• W2029422023 hasConceptScore W2029422023C199539241 @default.
• W2029422023 hasConceptScore W2029422023C2776359362 @default.
• W2029422023 hasConceptScore W2029422023C2776401178 @default.
• W2029422023 hasConceptScore W2029422023C2777299769 @default.
• W2029422023 hasConceptScore W2029422023C2780624054 @default.
• W2029422023 hasConceptScore W2029422023C33923547 @default.
• W2029422023 hasConceptScore W2029422023C39890363 @default.
• W2029422023 hasConceptScore W2029422023C41008148 @default.
• W2029422023 hasConceptScore W2029422023C41895202 @default.
• W2029422023 hasConceptScore W2029422023C42383842 @default.
• W2029422023 hasConceptScore W2029422023C45374587 @default.
• W2029422023 hasConceptScore W2029422023C80444323 @default.
• W2029422023 hasConceptScore W2029422023C86803240 @default.
• W2029422023 hasConceptScore W2029422023C93682546 @default.

• next