FRINK Linked Data Fragments server

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

• W4213422035 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.
• W4213422035 created "2022-02-25" @default.
• W4213422035 creator A5027817074 @default.
• W4213422035 creator A5029108294 @default.
• W4213422035 creator A5041830534 @default.
• W4213422035 creator A5049220962 @default.
• W4213422035 date "2011-01-26" @default.
• W4213422035 modified "2023-10-17" @default.
• W4213422035 title "Generative type abstraction and type-level computation" @default.
• W4213422035 cites W1558175043 @default.
• W4213422035 cites W1970031091 @default.
• W4213422035 cites W1984514567 @default.
• W4213422035 cites W1986382835 @default.
• W4213422035 cites W2012619465 @default.
• W4213422035 cites W2022407453 @default.
• W4213422035 cites W2030916392 @default.
• W4213422035 cites W2058174669 @default.
• W4213422035 cites W2082367883 @default.
• W4213422035 cites W2095136535 @default.
• W4213422035 cites W2101274322 @default.
• W4213422035 cites W2107214848 @default.
• W4213422035 cites W2112121519 @default.
• W4213422035 cites W2120047901 @default.
• W4213422035 cites W2125690388 @default.
• W4213422035 cites W2135248810 @default.
• W4213422035 cites W2140647971 @default.
• W4213422035 cites W2144778998 @default.
• W4213422035 cites W2150187939 @default.
• W4213422035 cites W4213090963 @default.
• W4213422035 cites W4230729748 @default.
• W4213422035 cites W4235669620 @default.
• W4213422035 doi "https://doi.org/10.1145/1926385.1926411" @default.
• W4213422035 hasPublicationYear "2011" @default.
• W4213422035 type Work @default.
• W4213422035 citedByCount "26" @default.
• W4213422035 countsByYear W42134220352012 @default.
• W4213422035 countsByYear W42134220352013 @default.
• W4213422035 countsByYear W42134220352014 @default.
• W4213422035 countsByYear W42134220352018 @default.
• W4213422035 countsByYear W42134220352019 @default.
• W4213422035 countsByYear W42134220352022 @default.
• W4213422035 crossrefType "proceedings-article" @default.
• W4213422035 hasAuthorship W4213422035A5027817074 @default.
• W4213422035 hasAuthorship W4213422035A5029108294 @default.
• W4213422035 hasAuthorship W4213422035A5041830534 @default.
• W4213422035 hasAuthorship W4213422035A5049220962 @default.
• W4213422035 hasBestOaLocation W42134220352 @default.
• W4213422035 hasConcept C101468663 @default.
• W4213422035 hasConcept C105795698 @default.
• W4213422035 hasConcept C111472728 @default.
• W4213422035 hasConcept C117251300 @default.
• W4213422035 hasConcept C124304363 @default.
• W4213422035 hasConcept C138885662 @default.
• W4213422035 hasConcept C154945302 @default.
• W4213422035 hasConcept C162130032 @default.
• W4213422035 hasConcept C167966045 @default.
• W4213422035 hasConcept C17744445 @default.
• W4213422035 hasConcept C18903297 @default.
• W4213422035 hasConcept C199360897 @default.
• W4213422035 hasConcept C199539241 @default.
• W4213422035 hasConcept C2776359362 @default.
• W4213422035 hasConcept C2776401178 @default.
• W4213422035 hasConcept C2777299769 @default.
• W4213422035 hasConcept C2780624054 @default.
• W4213422035 hasConcept C33923547 @default.
• W4213422035 hasConcept C39890363 @default.
• W4213422035 hasConcept C41008148 @default.
• W4213422035 hasConcept C41895202 @default.
• W4213422035 hasConcept C42383842 @default.
• W4213422035 hasConcept C45374587 @default.
• W4213422035 hasConcept C80444323 @default.
• W4213422035 hasConcept C86803240 @default.
• W4213422035 hasConcept C93682546 @default.
• W4213422035 hasConcept C94625758 @default.
• W4213422035 hasConceptScore W4213422035C101468663 @default.
• W4213422035 hasConceptScore W4213422035C105795698 @default.
• W4213422035 hasConceptScore W4213422035C111472728 @default.
• W4213422035 hasConceptScore W4213422035C117251300 @default.
• W4213422035 hasConceptScore W4213422035C124304363 @default.
• W4213422035 hasConceptScore W4213422035C138885662 @default.
• W4213422035 hasConceptScore W4213422035C154945302 @default.
• W4213422035 hasConceptScore W4213422035C162130032 @default.
• W4213422035 hasConceptScore W4213422035C167966045 @default.
• W4213422035 hasConceptScore W4213422035C17744445 @default.
• W4213422035 hasConceptScore W4213422035C18903297 @default.
• W4213422035 hasConceptScore W4213422035C199360897 @default.
• W4213422035 hasConceptScore W4213422035C199539241 @default.
• W4213422035 hasConceptScore W4213422035C2776359362 @default.
• W4213422035 hasConceptScore W4213422035C2776401178 @default.
• W4213422035 hasConceptScore W4213422035C2777299769 @default.
• W4213422035 hasConceptScore W4213422035C2780624054 @default.
• W4213422035 hasConceptScore W4213422035C33923547 @default.
• W4213422035 hasConceptScore W4213422035C39890363 @default.
• W4213422035 hasConceptScore W4213422035C41008148 @default.
• W4213422035 hasConceptScore W4213422035C41895202 @default.
• W4213422035 hasConceptScore W4213422035C42383842 @default.
• W4213422035 hasConceptScore W4213422035C45374587 @default.
• W4213422035 hasConceptScore W4213422035C80444323 @default.
• W4213422035 hasConceptScore W4213422035C86803240 @default.
• W4213422035 hasConceptScore W4213422035C93682546 @default.

• next