Matches in SemOpenAlex for { <https://semopenalex.org/work/W137136619> ?p ?o ?g. }
Showing items 1 to 84 of
84
with 100 items per page.
- W137136619 endingPage "695" @default.
- W137136619 startingPage "681" @default.
- W137136619 abstract "Comparing two types for equality is an essential ingredient for an implementation of dynamic types. Once equality has been established, it is safe to cast a value from one type to another. In a language with run-time type analysis, implementing such a procedure is fairly straightforward. Unfortunately, this naive implementation destructs and rebuilds the argument while iterating over its type structure. However, by using higher-order polymorphism, a casting function can treat its argument parametrically. We demonstrate this solution in two frameworks for ad-hoc polymorphism: intensional type analysis and Haskell type classes." @default.
- W137136619 created "2016-06-24" @default.
- W137136619 creator A5049220962 @default.
- W137136619 date "2004-10-27" @default.
- W137136619 modified "2023-10-18" @default.
- W137136619 title "FUNCTIONAL PEARL <i>Type-safe cast</i>" @default.
- W137136619 cites W1535296962 @default.
- W137136619 cites W1546727036 @default.
- W137136619 cites W1556536463 @default.
- W137136619 cites W1595372275 @default.
- W137136619 cites W1644882639 @default.
- W137136619 cites W1967061556 @default.
- W137136619 cites W1985088747 @default.
- W137136619 cites W1987203566 @default.
- W137136619 cites W2024398154 @default.
- W137136619 cites W2030916392 @default.
- W137136619 cites W2057292961 @default.
- W137136619 cites W2059895047 @default.
- W137136619 cites W2062950667 @default.
- W137136619 cites W2104204098 @default.
- W137136619 cites W2118227920 @default.
- W137136619 cites W2120348241 @default.
- W137136619 cites W2136177623 @default.
- W137136619 cites W2293033370 @default.
- W137136619 cites W2912351643 @default.
- W137136619 doi "https://doi.org/10.1017/s0956796804005179" @default.
- W137136619 hasPublicationYear "2004" @default.
- W137136619 type Work @default.
- W137136619 sameAs 137136619 @default.
- W137136619 citedByCount "18" @default.
- W137136619 countsByYear W1371366192012 @default.
- W137136619 countsByYear W1371366192016 @default.
- W137136619 countsByYear W1371366192019 @default.
- W137136619 crossrefType "journal-article" @default.
- W137136619 hasAuthorship W137136619A5049220962 @default.
- W137136619 hasConcept C138885662 @default.
- W137136619 hasConcept C185592680 @default.
- W137136619 hasConcept C18903297 @default.
- W137136619 hasConcept C199360897 @default.
- W137136619 hasConcept C27206212 @default.
- W137136619 hasConcept C2777299769 @default.
- W137136619 hasConcept C2779251273 @default.
- W137136619 hasConcept C2780624054 @default.
- W137136619 hasConcept C41008148 @default.
- W137136619 hasConcept C42383842 @default.
- W137136619 hasConcept C55493867 @default.
- W137136619 hasConcept C86803240 @default.
- W137136619 hasConcept C93682546 @default.
- W137136619 hasConcept C98184364 @default.
- W137136619 hasConceptScore W137136619C138885662 @default.
- W137136619 hasConceptScore W137136619C185592680 @default.
- W137136619 hasConceptScore W137136619C18903297 @default.
- W137136619 hasConceptScore W137136619C199360897 @default.
- W137136619 hasConceptScore W137136619C27206212 @default.
- W137136619 hasConceptScore W137136619C2777299769 @default.
- W137136619 hasConceptScore W137136619C2779251273 @default.
- W137136619 hasConceptScore W137136619C2780624054 @default.
- W137136619 hasConceptScore W137136619C41008148 @default.
- W137136619 hasConceptScore W137136619C42383842 @default.
- W137136619 hasConceptScore W137136619C55493867 @default.
- W137136619 hasConceptScore W137136619C86803240 @default.
- W137136619 hasConceptScore W137136619C93682546 @default.
- W137136619 hasConceptScore W137136619C98184364 @default.
- W137136619 hasIssue "6" @default.
- W137136619 hasLocation W1371366191 @default.
- W137136619 hasOpenAccess W137136619 @default.
- W137136619 hasPrimaryLocation W1371366191 @default.
- W137136619 hasRelatedWork W1488885199 @default.
- W137136619 hasRelatedWork W1511530761 @default.
- W137136619 hasRelatedWork W1587224678 @default.
- W137136619 hasRelatedWork W1601811574 @default.
- W137136619 hasRelatedWork W2017112188 @default.
- W137136619 hasRelatedWork W2107214848 @default.
- W137136619 hasRelatedWork W2129777450 @default.
- W137136619 hasRelatedWork W2161408472 @default.
- W137136619 hasRelatedWork W2187307536 @default.
- W137136619 hasRelatedWork W4251000889 @default.
- W137136619 hasVolume "14" @default.
- W137136619 isParatext "false" @default.
- W137136619 isRetracted "false" @default.
- W137136619 magId "137136619" @default.
- W137136619 workType "article" @default.