Matches in SemOpenAlex for { <https://semopenalex.org/work/W1490031588> ?p ?o ?g. }
Showing items 1 to 93 of
93
with 100 items per page.
- W1490031588 abstract "Dynamic types allow strongly typed programs to link in external code at run-time in a type safe way. Generic programming allows programmers to write code schemes that can be specialized at compile-time to arguments of arbitrary type. Both techniques have been investigated and incorporated in the pure functional programming language Clean. Because generic functions work on all types and values, they are the perfect tool when manipulating dynamic values. But generics rely on compile-time specialization, whereas dynamics rely on run-time type checking and linking. This seems to be a fundamental contradiction. In this paper we show that the contradiction does not exist. From any generic function we derive a function that works on dynamics, and that can be parameterized with a dynamic type representation. Programs that use this technique combine the best of both worlds: they have concise universal code that can be applied to any dynamic value regardless of its origin. This technique is important for application domains such as type-safe mobile code and plug-in architectures." @default.
- W1490031588 created "2016-06-24" @default.
- W1490031588 creator A5049917627 @default.
- W1490031588 creator A5058469973 @default.
- W1490031588 creator A5081280625 @default.
- W1490031588 date "2001-01-01" @default.
- W1490031588 modified "2023-09-27" @default.
- W1490031588 title "When Generic Functions Use Dynamic Values" @default.
- W1490031588 cites W1578113853 @default.
- W1490031588 cites W2097509104 @default.
- W1490031588 cites W2115128073 @default.
- W1490031588 cites W2136177623 @default.
- W1490031588 cites W2143973850 @default.
- W1490031588 cites W2295914203 @default.
- W1490031588 doi "https://doi.org/10.1007/3-540-44854-3_2" @default.
- W1490031588 hasPublicationYear "2001" @default.
- W1490031588 type Work @default.
- W1490031588 sameAs 1490031588 @default.
- W1490031588 citedByCount "6" @default.
- W1490031588 countsByYear W14900315882021 @default.
- W1490031588 crossrefType "book-chapter" @default.
- W1490031588 hasAuthorship W1490031588A5049917627 @default.
- W1490031588 hasAuthorship W1490031588A5058469973 @default.
- W1490031588 hasAuthorship W1490031588A5081280625 @default.
- W1490031588 hasConcept C11413529 @default.
- W1490031588 hasConcept C14036430 @default.
- W1490031588 hasConcept C165464430 @default.
- W1490031588 hasConcept C169590947 @default.
- W1490031588 hasConcept C177264268 @default.
- W1490031588 hasConcept C17744445 @default.
- W1490031588 hasConcept C18903297 @default.
- W1490031588 hasConcept C199360897 @default.
- W1490031588 hasConcept C199539241 @default.
- W1490031588 hasConcept C200833197 @default.
- W1490031588 hasConcept C2776359362 @default.
- W1490031588 hasConcept C2776760102 @default.
- W1490031588 hasConcept C2777299769 @default.
- W1490031588 hasConcept C37404715 @default.
- W1490031588 hasConcept C41008148 @default.
- W1490031588 hasConcept C42383842 @default.
- W1490031588 hasConcept C7051814 @default.
- W1490031588 hasConcept C78458016 @default.
- W1490031588 hasConcept C80444323 @default.
- W1490031588 hasConcept C86803240 @default.
- W1490031588 hasConcept C94625758 @default.
- W1490031588 hasConceptScore W1490031588C11413529 @default.
- W1490031588 hasConceptScore W1490031588C14036430 @default.
- W1490031588 hasConceptScore W1490031588C165464430 @default.
- W1490031588 hasConceptScore W1490031588C169590947 @default.
- W1490031588 hasConceptScore W1490031588C177264268 @default.
- W1490031588 hasConceptScore W1490031588C17744445 @default.
- W1490031588 hasConceptScore W1490031588C18903297 @default.
- W1490031588 hasConceptScore W1490031588C199360897 @default.
- W1490031588 hasConceptScore W1490031588C199539241 @default.
- W1490031588 hasConceptScore W1490031588C200833197 @default.
- W1490031588 hasConceptScore W1490031588C2776359362 @default.
- W1490031588 hasConceptScore W1490031588C2776760102 @default.
- W1490031588 hasConceptScore W1490031588C2777299769 @default.
- W1490031588 hasConceptScore W1490031588C37404715 @default.
- W1490031588 hasConceptScore W1490031588C41008148 @default.
- W1490031588 hasConceptScore W1490031588C42383842 @default.
- W1490031588 hasConceptScore W1490031588C7051814 @default.
- W1490031588 hasConceptScore W1490031588C78458016 @default.
- W1490031588 hasConceptScore W1490031588C80444323 @default.
- W1490031588 hasConceptScore W1490031588C86803240 @default.
- W1490031588 hasConceptScore W1490031588C94625758 @default.
- W1490031588 hasLocation W14900315881 @default.
- W1490031588 hasOpenAccess W1490031588 @default.
- W1490031588 hasPrimaryLocation W14900315881 @default.
- W1490031588 hasRelatedWork W114885797 @default.
- W1490031588 hasRelatedWork W181154243 @default.
- W1490031588 hasRelatedWork W2094518006 @default.
- W1490031588 hasRelatedWork W2116496162 @default.
- W1490031588 hasRelatedWork W2127317841 @default.
- W1490031588 hasRelatedWork W2140447075 @default.
- W1490031588 hasRelatedWork W2186768715 @default.
- W1490031588 hasRelatedWork W2204312570 @default.
- W1490031588 hasRelatedWork W2340608611 @default.
- W1490031588 hasRelatedWork W2501853541 @default.
- W1490031588 hasRelatedWork W2565370635 @default.
- W1490031588 hasRelatedWork W2764230631 @default.
- W1490031588 hasRelatedWork W2942523982 @default.
- W1490031588 hasRelatedWork W3160180849 @default.
- W1490031588 hasRelatedWork W66113185 @default.
- W1490031588 hasRelatedWork W1660118776 @default.
- W1490031588 hasRelatedWork W1930274404 @default.
- W1490031588 hasRelatedWork W2171593766 @default.
- W1490031588 hasRelatedWork W954568375 @default.
- W1490031588 hasRelatedWork W97041338 @default.
- W1490031588 isParatext "false" @default.
- W1490031588 isRetracted "false" @default.
- W1490031588 magId "1490031588" @default.
- W1490031588 workType "book-chapter" @default.