FRINK Linked Data Fragments server

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

• W2912842069 endingPage "30" @default.
• W2912842069 startingPage "1" @default.
• W2912842069 abstract "Dependently typed languages are well known for having a problem with code reuse. Traditional non-indexed algebraic datatypes (e.g. lists) appear alongside a plethora of indexed variations (e.g. vectors). Functions are often rewritten for both non-indexed and indexed versions of essentially the same datatype, which is a source of code duplication. We work in a Curry-style dependent type theory, where the same untyped term may be classified as both the non-indexed and indexed versions of a datatype. Many solutions have been proposed for the problem of dependently typed reuse, but we exploit Curry-style type theory in our solution to not only reuse data and programs, but do so at zero-cost (without a runtime penalty). Our work is an exercise in dependently typed generic programming, and internalizes the process of zero-cost reuse as the identity function in a Curry-style theory." @default.
• W2912842069 created "2019-02-21" @default.
• W2912842069 creator A5016293832 @default.
• W2912842069 creator A5023524127 @default.
• W2912842069 creator A5072489480 @default.
• W2912842069 date "2018-07-30" @default.
• W2912842069 modified "2023-10-18" @default.
• W2912842069 title "Generic zero-cost reuse for dependent types" @default.
• W2912842069 cites W124942006 @default.
• W2912842069 cites W1464569014 @default.
• W2912842069 cites W1993209012 @default.
• W2912842069 cites W2013149027 @default.
• W2912842069 cites W2021478277 @default.
• W2912842069 cites W2055372384 @default.
• W2912842069 cites W2062887328 @default.
• W2912842069 cites W2115699102 @default.
• W2912842069 cites W2145108549 @default.
• W2912842069 cites W2413556709 @default.
• W2912842069 cites W2500959965 @default.
• W2912842069 cites W2613133382 @default.
• W2912842069 cites W2777856819 @default.
• W2912842069 doi "https://doi.org/10.1145/3236799" @default.
• W2912842069 hasPublicationYear "2018" @default.
• W2912842069 type Work @default.
• W2912842069 sameAs 2912842069 @default.
• W2912842069 citedByCount "8" @default.
• W2912842069 countsByYear W29128420692018 @default.
• W2912842069 countsByYear W29128420692019 @default.
• W2912842069 countsByYear W29128420692020 @default.
• W2912842069 crossrefType "journal-article" @default.
• W2912842069 hasAuthorship W2912842069A5016293832 @default.
• W2912842069 hasAuthorship W2912842069A5023524127 @default.
• W2912842069 hasAuthorship W2912842069A5072489480 @default.
• W2912842069 hasBestOaLocation W29128420691 @default.
• W2912842069 hasConcept C121332964 @default.
• W2912842069 hasConcept C127413603 @default.
• W2912842069 hasConcept C138885662 @default.
• W2912842069 hasConcept C165696696 @default.
• W2912842069 hasConcept C177264268 @default.
• W2912842069 hasConcept C18903297 @default.
• W2912842069 hasConcept C199360897 @default.
• W2912842069 hasConcept C206588197 @default.
• W2912842069 hasConcept C24890656 @default.
• W2912842069 hasConcept C2776760102 @default.
• W2912842069 hasConcept C2777299769 @default.
• W2912842069 hasConcept C2777904410 @default.
• W2912842069 hasConcept C2778355321 @default.
• W2912842069 hasConcept C2778583558 @default.
• W2912842069 hasConcept C2780813799 @default.
• W2912842069 hasConcept C38652104 @default.
• W2912842069 hasConcept C41008148 @default.
• W2912842069 hasConcept C41895202 @default.
• W2912842069 hasConcept C42383842 @default.
• W2912842069 hasConcept C548081761 @default.
• W2912842069 hasConcept C61797465 @default.
• W2912842069 hasConcept C62520636 @default.
• W2912842069 hasConcept C7051814 @default.
• W2912842069 hasConcept C80444323 @default.
• W2912842069 hasConcept C86803240 @default.
• W2912842069 hasConcept C93682546 @default.
• W2912842069 hasConceptScore W2912842069C121332964 @default.
• W2912842069 hasConceptScore W2912842069C127413603 @default.
• W2912842069 hasConceptScore W2912842069C138885662 @default.
• W2912842069 hasConceptScore W2912842069C165696696 @default.
• W2912842069 hasConceptScore W2912842069C177264268 @default.
• W2912842069 hasConceptScore W2912842069C18903297 @default.
• W2912842069 hasConceptScore W2912842069C199360897 @default.
• W2912842069 hasConceptScore W2912842069C206588197 @default.
• W2912842069 hasConceptScore W2912842069C24890656 @default.
• W2912842069 hasConceptScore W2912842069C2776760102 @default.
• W2912842069 hasConceptScore W2912842069C2777299769 @default.
• W2912842069 hasConceptScore W2912842069C2777904410 @default.
• W2912842069 hasConceptScore W2912842069C2778355321 @default.
• W2912842069 hasConceptScore W2912842069C2778583558 @default.
• W2912842069 hasConceptScore W2912842069C2780813799 @default.
• W2912842069 hasConceptScore W2912842069C38652104 @default.
• W2912842069 hasConceptScore W2912842069C41008148 @default.
• W2912842069 hasConceptScore W2912842069C41895202 @default.
• W2912842069 hasConceptScore W2912842069C42383842 @default.
• W2912842069 hasConceptScore W2912842069C548081761 @default.
• W2912842069 hasConceptScore W2912842069C61797465 @default.
• W2912842069 hasConceptScore W2912842069C62520636 @default.
• W2912842069 hasConceptScore W2912842069C7051814 @default.
• W2912842069 hasConceptScore W2912842069C80444323 @default.
• W2912842069 hasConceptScore W2912842069C86803240 @default.
• W2912842069 hasConceptScore W2912842069C93682546 @default.
• W2912842069 hasFunder F4320306076 @default.
• W2912842069 hasFunder F4320306078 @default.
• W2912842069 hasIssue "ICFP" @default.
• W2912842069 hasLocation W29128420691 @default.
• W2912842069 hasLocation W29128420692 @default.
• W2912842069 hasOpenAccess W2912842069 @default.
• W2912842069 hasPrimaryLocation W29128420691 @default.
• W2912842069 hasRelatedWork W1488885199 @default.
• W2912842069 hasRelatedWork W1511530761 @default.
• W2912842069 hasRelatedWork W1558175043 @default.
• W2912842069 hasRelatedWork W2017112188 @default.
• W2912842069 hasRelatedWork W2027798793 @default.

• next