FRINK Linked Data Fragments server

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

• W4235669620 endingPage "13" @default.
• W4235669620 startingPage "1" @default.
• W4235669620 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.
• W4235669620 created "2022-05-12" @default.
• W4235669620 creator A5027817074 @default.
• W4235669620 creator A5055243106 @default.
• W4235669620 creator A5070087274 @default.
• W4235669620 creator A5089112216 @default.
• W4235669620 date "2005-01-12" @default.
• W4235669620 modified "2023-10-17" @default.
• W4235669620 title "Associated types with class" @default.
• W4235669620 cites W1984113567 @default.
• W4235669620 cites W1984514567 @default.
• W4235669620 cites W1989642656 @default.
• W4235669620 cites W2024398154 @default.
• W4235669620 cites W2029684521 @default.
• W4235669620 cites W2030916392 @default.
• W4235669620 cites W2039211229 @default.
• W4235669620 cites W2053070172 @default.
• W4235669620 cites W2062090834 @default.
• W4235669620 cites W2066166567 @default.
• W4235669620 cites W2070430903 @default.
• W4235669620 cites W2076212434 @default.
• W4235669620 cites W2080124533 @default.
• W4235669620 cites W2082367883 @default.
• W4235669620 cites W2091033850 @default.
• W4235669620 cites W2093896470 @default.
• W4235669620 cites W2105831091 @default.
• W4235669620 cites W2116616150 @default.
• W4235669620 cites W2120348241 @default.
• W4235669620 cites W2133639043 @default.
• W4235669620 cites W2137299229 @default.
• W4235669620 cites W2145945984 @default.
• W4235669620 cites W2157137298 @default.
• W4235669620 cites W2493130382 @default.
• W4235669620 doi "https://doi.org/10.1145/1047659.1040306" @default.
• W4235669620 hasPublicationYear "2005" @default.
• W4235669620 type Work @default.
• W4235669620 citedByCount "11" @default.
• W4235669620 countsByYear W42356696202013 @default.
• W4235669620 countsByYear W42356696202017 @default.
• W4235669620 countsByYear W42356696202020 @default.
• W4235669620 countsByYear W42356696202021 @default.
• W4235669620 crossrefType "journal-article" @default.
• W4235669620 hasAuthorship W4235669620A5027817074 @default.
• W4235669620 hasAuthorship W4235669620A5055243106 @default.
• W4235669620 hasAuthorship W4235669620A5070087274 @default.
• W4235669620 hasAuthorship W4235669620A5089112216 @default.
• W4235669620 hasConcept C109701466 @default.
• W4235669620 hasConcept C111472728 @default.
• W4235669620 hasConcept C124304363 @default.
• W4235669620 hasConcept C138885662 @default.
• W4235669620 hasConcept C138958017 @default.
• W4235669620 hasConcept C154945302 @default.
• W4235669620 hasConcept C169590947 @default.
• W4235669620 hasConcept C175971053 @default.
• W4235669620 hasConcept C18903297 @default.
• W4235669620 hasConcept C199360897 @default.
• W4235669620 hasConcept C2777212361 @default.
• W4235669620 hasConcept C2777299769 @default.
• W4235669620 hasConcept C2780624054 @default.
• W4235669620 hasConcept C41008148 @default.
• W4235669620 hasConcept C42383842 @default.
• W4235669620 hasConcept C44779574 @default.
• W4235669620 hasConcept C548217200 @default.
• W4235669620 hasConcept C7051814 @default.
• W4235669620 hasConcept C75165309 @default.
• W4235669620 hasConcept C80444323 @default.
• W4235669620 hasConcept C86803240 @default.
• W4235669620 hasConceptScore W4235669620C109701466 @default.
• W4235669620 hasConceptScore W4235669620C111472728 @default.
• W4235669620 hasConceptScore W4235669620C124304363 @default.
• W4235669620 hasConceptScore W4235669620C138885662 @default.
• W4235669620 hasConceptScore W4235669620C138958017 @default.
• W4235669620 hasConceptScore W4235669620C154945302 @default.
• W4235669620 hasConceptScore W4235669620C169590947 @default.
• W4235669620 hasConceptScore W4235669620C175971053 @default.
• W4235669620 hasConceptScore W4235669620C18903297 @default.
• W4235669620 hasConceptScore W4235669620C199360897 @default.
• W4235669620 hasConceptScore W4235669620C2777212361 @default.
• W4235669620 hasConceptScore W4235669620C2777299769 @default.
• W4235669620 hasConceptScore W4235669620C2780624054 @default.
• W4235669620 hasConceptScore W4235669620C41008148 @default.
• W4235669620 hasConceptScore W4235669620C42383842 @default.
• W4235669620 hasConceptScore W4235669620C44779574 @default.
• W4235669620 hasConceptScore W4235669620C548217200 @default.
• W4235669620 hasConceptScore W4235669620C7051814 @default.
• W4235669620 hasConceptScore W4235669620C75165309 @default.
• W4235669620 hasConceptScore W4235669620C80444323 @default.
• W4235669620 hasConceptScore W4235669620C86803240 @default.
• W4235669620 hasIssue "1" @default.
• W4235669620 hasLocation W42356696201 @default.
• W4235669620 hasOpenAccess W4235669620 @default.
• W4235669620 hasPrimaryLocation W42356696201 @default.
• W4235669620 hasRelatedWork W1573380057 @default.
• W4235669620 hasRelatedWork W1975664374 @default.
• W4235669620 hasRelatedWork W206809417 @default.
• W4235669620 hasRelatedWork W2146069884 @default.
• W4235669620 hasRelatedWork W2157155332 @default.
• W4235669620 hasRelatedWork W2779713464 @default.

• next