FRINK Linked Data Fragments server

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

• W2168938117 abstract "Haskell's type classes allow ad-hoc overloading, or type-indexing, of functions. A natural generalisation is to allow type-indexing of data types as well. It turns out that this idea directly supports a powerful form of abstraction called associated types, which are available in C++ using traits classes. Associated types are useful in many applications, especially for self-optimising libraries that adapt their data representations and algorithms in a type-directed manner.In this paper, we introduce and motivate associated types as a rather natural generalisation of Haskell's existing type classes. Formally, we present a type system that includes a type-directed translation into an explicitly typed target language akin to System F; the existence of this translation ensures that the addition of associated data types to an existing Haskell compiler only requires changes to the front end." @default.
• W2168938117 created "2016-06-24" @default.
• W2168938117 creator A5027817074 @default.
• W2168938117 creator A5055243106 @default.
• W2168938117 creator A5070087274 @default.
• W2168938117 creator A5089112216 @default.
• W2168938117 date "2005-01-12" @default.
• W2168938117 modified "2023-10-17" @default.
• W2168938117 title "Associated types with class" @default.
• W2168938117 cites W1984113567 @default.
• W2168938117 cites W1984514567 @default.
• W2168938117 cites W1989642656 @default.
• W2168938117 cites W2024398154 @default.
• W2168938117 cites W2029684521 @default.
• W2168938117 cites W2030916392 @default.
• W2168938117 cites W2039211229 @default.
• W2168938117 cites W2053070172 @default.
• W2168938117 cites W2062090834 @default.
• W2168938117 cites W2066166567 @default.
• W2168938117 cites W2070430903 @default.
• W2168938117 cites W2076212434 @default.
• W2168938117 cites W2080124533 @default.
• W2168938117 cites W2082367883 @default.
• W2168938117 cites W2091033850 @default.
• W2168938117 cites W2093896470 @default.
• W2168938117 cites W2105831091 @default.
• W2168938117 cites W2116616150 @default.
• W2168938117 cites W2120348241 @default.
• W2168938117 cites W2133639043 @default.
• W2168938117 cites W2137299229 @default.
• W2168938117 cites W2145945984 @default.
• W2168938117 cites W2157137298 @default.
• W2168938117 cites W2493130382 @default.
• W2168938117 doi "https://doi.org/10.1145/1040305.1040306" @default.
• W2168938117 hasPublicationYear "2005" @default.
• W2168938117 type Work @default.
• W2168938117 sameAs 2168938117 @default.
• W2168938117 citedByCount "169" @default.
• W2168938117 countsByYear W21689381172012 @default.
• W2168938117 countsByYear W21689381172013 @default.
• W2168938117 countsByYear W21689381172014 @default.
• W2168938117 countsByYear W21689381172015 @default.
• W2168938117 countsByYear W21689381172016 @default.
• W2168938117 countsByYear W21689381172017 @default.
• W2168938117 countsByYear W21689381172018 @default.
• W2168938117 countsByYear W21689381172019 @default.
• W2168938117 countsByYear W21689381172020 @default.
• W2168938117 countsByYear W21689381172021 @default.
• W2168938117 countsByYear W21689381172022 @default.
• W2168938117 crossrefType "proceedings-article" @default.
• W2168938117 hasAuthorship W2168938117A5027817074 @default.
• W2168938117 hasAuthorship W2168938117A5055243106 @default.
• W2168938117 hasAuthorship W2168938117A5070087274 @default.
• W2168938117 hasAuthorship W2168938117A5089112216 @default.
• W2168938117 hasConcept C111472728 @default.
• W2168938117 hasConcept C124304363 @default.
• W2168938117 hasConcept C138885662 @default.
• W2168938117 hasConcept C138958017 @default.
• W2168938117 hasConcept C154945302 @default.
• W2168938117 hasConcept C169590947 @default.
• W2168938117 hasConcept C175971053 @default.
• W2168938117 hasConcept C18903297 @default.
• W2168938117 hasConcept C199360897 @default.
• W2168938117 hasConcept C2777212361 @default.
• W2168938117 hasConcept C2777299769 @default.
• W2168938117 hasConcept C2780624054 @default.
• W2168938117 hasConcept C41008148 @default.
• W2168938117 hasConcept C42383842 @default.
• W2168938117 hasConcept C44779574 @default.
• W2168938117 hasConcept C7051814 @default.
• W2168938117 hasConcept C75165309 @default.
• W2168938117 hasConcept C80444323 @default.
• W2168938117 hasConcept C86803240 @default.
• W2168938117 hasConceptScore W2168938117C111472728 @default.
• W2168938117 hasConceptScore W2168938117C124304363 @default.
• W2168938117 hasConceptScore W2168938117C138885662 @default.
• W2168938117 hasConceptScore W2168938117C138958017 @default.
• W2168938117 hasConceptScore W2168938117C154945302 @default.
• W2168938117 hasConceptScore W2168938117C169590947 @default.
• W2168938117 hasConceptScore W2168938117C175971053 @default.
• W2168938117 hasConceptScore W2168938117C18903297 @default.
• W2168938117 hasConceptScore W2168938117C199360897 @default.
• W2168938117 hasConceptScore W2168938117C2777212361 @default.
• W2168938117 hasConceptScore W2168938117C2777299769 @default.
• W2168938117 hasConceptScore W2168938117C2780624054 @default.
• W2168938117 hasConceptScore W2168938117C41008148 @default.
• W2168938117 hasConceptScore W2168938117C42383842 @default.
• W2168938117 hasConceptScore W2168938117C44779574 @default.
• W2168938117 hasConceptScore W2168938117C7051814 @default.
• W2168938117 hasConceptScore W2168938117C75165309 @default.
• W2168938117 hasConceptScore W2168938117C80444323 @default.
• W2168938117 hasConceptScore W2168938117C86803240 @default.
• W2168938117 hasLocation W21689381171 @default.
• W2168938117 hasOpenAccess W2168938117 @default.
• W2168938117 hasPrimaryLocation W21689381171 @default.
• W2168938117 hasRelatedWork W1573380057 @default.
• W2168938117 hasRelatedWork W1757338326 @default.
• W2168938117 hasRelatedWork W2019388039 @default.
• W2168938117 hasRelatedWork W2151275061 @default.
• W2168938117 hasRelatedWork W2157155332 @default.

• next