Matches in SemOpenAlex for { <https://semopenalex.org/work/W2151232706> ?p ?o ?g. }
Showing items 1 to 68 of
68
with 100 items per page.
- W2151232706 abstract "Type providers, pioneered in the F# programming language, are a practical and powerful means of gaining the benefits of a modern static type system when working with data schemas that are defined outside of the programming language, such as relational databases. F# type providers are implemented using a form of compile-time code generation, which requires the compiler to expose an internal API and can undermine type safety. We show that with dependent types it is possible to define a type provider mechanism that does not rely on code generation. Using this mechanism, a type provider becomes a kind of generic program that is instantiated for a particular external schema, which can be represented using an ordinary datatype. Because these dependent type providers use the ordinary abstraction mechanisms of the type system, they preserve its safety properties. We evaluate the practicality of this technique and explore future extensions." @default.
- W2151232706 created "2016-06-24" @default.
- W2151232706 creator A5042198697 @default.
- W2151232706 date "2013-09-28" @default.
- W2151232706 modified "2023-10-18" @default.
- W2151232706 title "Dependent type providers" @default.
- W2151232706 cites W1480909796 @default.
- W2151232706 cites W1522049235 @default.
- W2151232706 cites W2027048725 @default.
- W2151232706 cites W2047497632 @default.
- W2151232706 cites W2062887328 @default.
- W2151232706 cites W2084099544 @default.
- W2151232706 cites W2094728533 @default.
- W2151232706 cites W2113068339 @default.
- W2151232706 cites W2136651263 @default.
- W2151232706 cites W2145108549 @default.
- W2151232706 cites W3043607029 @default.
- W2151232706 cites W4213279211 @default.
- W2151232706 doi "https://doi.org/10.1145/2502488.2502495" @default.
- W2151232706 hasPublicationYear "2013" @default.
- W2151232706 type Work @default.
- W2151232706 sameAs 2151232706 @default.
- W2151232706 citedByCount "16" @default.
- W2151232706 countsByYear W21512327062013 @default.
- W2151232706 countsByYear W21512327062015 @default.
- W2151232706 countsByYear W21512327062016 @default.
- W2151232706 countsByYear W21512327062017 @default.
- W2151232706 countsByYear W21512327062019 @default.
- W2151232706 countsByYear W21512327062020 @default.
- W2151232706 crossrefType "proceedings-article" @default.
- W2151232706 hasAuthorship W2151232706A5042198697 @default.
- W2151232706 hasConcept C111472728 @default.
- W2151232706 hasConcept C124304363 @default.
- W2151232706 hasConcept C138885662 @default.
- W2151232706 hasConcept C138958017 @default.
- W2151232706 hasConcept C169590947 @default.
- W2151232706 hasConcept C199360897 @default.
- W2151232706 hasConcept C23123220 @default.
- W2151232706 hasConcept C41008148 @default.
- W2151232706 hasConcept C44779574 @default.
- W2151232706 hasConcept C52146309 @default.
- W2151232706 hasConceptScore W2151232706C111472728 @default.
- W2151232706 hasConceptScore W2151232706C124304363 @default.
- W2151232706 hasConceptScore W2151232706C138885662 @default.
- W2151232706 hasConceptScore W2151232706C138958017 @default.
- W2151232706 hasConceptScore W2151232706C169590947 @default.
- W2151232706 hasConceptScore W2151232706C199360897 @default.
- W2151232706 hasConceptScore W2151232706C23123220 @default.
- W2151232706 hasConceptScore W2151232706C41008148 @default.
- W2151232706 hasConceptScore W2151232706C44779574 @default.
- W2151232706 hasConceptScore W2151232706C52146309 @default.
- W2151232706 hasLocation W21512327061 @default.
- W2151232706 hasOpenAccess W2151232706 @default.
- W2151232706 hasPrimaryLocation W21512327061 @default.
- W2151232706 hasRelatedWork W1497385637 @default.
- W2151232706 hasRelatedWork W2044422526 @default.
- W2151232706 hasRelatedWork W2192862863 @default.
- W2151232706 hasRelatedWork W2369288331 @default.
- W2151232706 hasRelatedWork W2519339279 @default.
- W2151232706 hasRelatedWork W2763815264 @default.
- W2151232706 hasRelatedWork W3004657049 @default.
- W2151232706 hasRelatedWork W3790221 @default.
- W2151232706 hasRelatedWork W4233387348 @default.
- W2151232706 hasRelatedWork W2467097043 @default.
- W2151232706 isParatext "false" @default.
- W2151232706 isRetracted "false" @default.
- W2151232706 magId "2151232706" @default.
- W2151232706 workType "article" @default.