Matches in SemOpenAlex for { <https://semopenalex.org/work/W4288269312> ?p ?o ?g. }
Showing items 1 to 73 of
73
with 100 items per page.
- W4288269312 abstract "This work introduces the novel concept of kind refinement, which we develop in the context of an explicitly polymorphic ML-like language with type-level computation. Just as type refinements embed rich specifications by means of comprehension principles expressed by predicates over values in the type domain, kind refinements provide rich kind specifications by means of predicates over types in the kind domain. By leveraging our powerful refinement kind discipline, types in our language are not just used to statically classify program expressions and values, but also conveniently manipulated as tree-like data structures, with their kinds refined by logical constraints on such structures. Remarkably, the resulting typing and kinding disciplines allow for powerful forms of type reflection, ad-hoc polymorphism and type meta-programming, which are often found in modern software development, but not typically expressible in a type-safe manner in general purpose languages. We validate our approach both formally and pragmatically by establishing the standard meta-theoretical results of type safety and via a prototype implementation of a kind checker, type checker and interpreter for our language." @default.
- W4288269312 created "2022-07-28" @default.
- W4288269312 creator A5019928703 @default.
- W4288269312 creator A5039596448 @default.
- W4288269312 date "2019-08-01" @default.
- W4288269312 modified "2023-10-14" @default.
- W4288269312 title "Refinement Kinds: Type-safe Programming with Practical Type-level Computation (Extended Version)" @default.
- W4288269312 doi "https://doi.org/10.48550/arxiv.1908.00441" @default.
- W4288269312 hasPublicationYear "2019" @default.
- W4288269312 type Work @default.
- W4288269312 citedByCount "0" @default.
- W4288269312 crossrefType "posted-content" @default.
- W4288269312 hasAuthorship W4288269312A5019928703 @default.
- W4288269312 hasAuthorship W4288269312A5039596448 @default.
- W4288269312 hasBestOaLocation W42882693121 @default.
- W4288269312 hasConcept C134306372 @default.
- W4288269312 hasConcept C135257023 @default.
- W4288269312 hasConcept C138958017 @default.
- W4288269312 hasConcept C154945302 @default.
- W4288269312 hasConcept C175971053 @default.
- W4288269312 hasConcept C18903297 @default.
- W4288269312 hasConcept C198370458 @default.
- W4288269312 hasConcept C199360897 @default.
- W4288269312 hasConcept C2776214188 @default.
- W4288269312 hasConcept C2777299769 @default.
- W4288269312 hasConcept C33923547 @default.
- W4288269312 hasConcept C35390924 @default.
- W4288269312 hasConcept C36503486 @default.
- W4288269312 hasConcept C41008148 @default.
- W4288269312 hasConcept C44779574 @default.
- W4288269312 hasConcept C45374587 @default.
- W4288269312 hasConcept C7051814 @default.
- W4288269312 hasConcept C80444323 @default.
- W4288269312 hasConcept C86803240 @default.
- W4288269312 hasConcept C93682546 @default.
- W4288269312 hasConcept C98183937 @default.
- W4288269312 hasConceptScore W4288269312C134306372 @default.
- W4288269312 hasConceptScore W4288269312C135257023 @default.
- W4288269312 hasConceptScore W4288269312C138958017 @default.
- W4288269312 hasConceptScore W4288269312C154945302 @default.
- W4288269312 hasConceptScore W4288269312C175971053 @default.
- W4288269312 hasConceptScore W4288269312C18903297 @default.
- W4288269312 hasConceptScore W4288269312C198370458 @default.
- W4288269312 hasConceptScore W4288269312C199360897 @default.
- W4288269312 hasConceptScore W4288269312C2776214188 @default.
- W4288269312 hasConceptScore W4288269312C2777299769 @default.
- W4288269312 hasConceptScore W4288269312C33923547 @default.
- W4288269312 hasConceptScore W4288269312C35390924 @default.
- W4288269312 hasConceptScore W4288269312C36503486 @default.
- W4288269312 hasConceptScore W4288269312C41008148 @default.
- W4288269312 hasConceptScore W4288269312C44779574 @default.
- W4288269312 hasConceptScore W4288269312C45374587 @default.
- W4288269312 hasConceptScore W4288269312C7051814 @default.
- W4288269312 hasConceptScore W4288269312C80444323 @default.
- W4288269312 hasConceptScore W4288269312C86803240 @default.
- W4288269312 hasConceptScore W4288269312C93682546 @default.
- W4288269312 hasConceptScore W4288269312C98183937 @default.
- W4288269312 hasLocation W42882693121 @default.
- W4288269312 hasOpenAccess W4288269312 @default.
- W4288269312 hasPrimaryLocation W42882693121 @default.
- W4288269312 hasRelatedWork W1557561422 @default.
- W4288269312 hasRelatedWork W2112150205 @default.
- W4288269312 hasRelatedWork W2127402358 @default.
- W4288269312 hasRelatedWork W2151275061 @default.
- W4288269312 hasRelatedWork W2167486301 @default.
- W4288269312 hasRelatedWork W2964853020 @default.
- W4288269312 hasRelatedWork W2979520889 @default.
- W4288269312 hasRelatedWork W4245886278 @default.
- W4288269312 hasRelatedWork W4288269312 @default.
- W4288269312 hasRelatedWork W2584819674 @default.
- W4288269312 isParatext "false" @default.
- W4288269312 isRetracted "false" @default.
- W4288269312 workType "article" @default.