Matches in SemOpenAlex for { <https://semopenalex.org/work/W3006590528> ?p ?o ?g. }
Showing items 1 to 92 of
92
with 100 items per page.
- W3006590528 endingPage "93" @default.
- W3006590528 startingPage "82" @default.
- W3006590528 abstract "Compilers for polymorphic languages can use runtime type inspection to support advanced implementation techniques such as tagless garbage collection, polymorphic marshalling, and flattened data structures. Intensional type analysis is a type-theoretic framework for expressing and certifying such type-analyzing computations. Unfortunately, existing approaches to intensional analysis do not work well on types with universal, existential, or fixpoint quantifiers. This makes it impossible to code applications such as garbage collection, persistence, or marshalling which must be able to examine the type of any runtime value.We present a typed intermediate language that supports fully reflexive intensional type analysis. By fully reflexive, we mean that type-analyzing operations are applicable to the type of any runtime value in the language. In particular, we provide both type-level and term-level constructs for analyzing quantified types. Our system supports structural induction on quantified types yet type checking remains decidable. We show how to use reflexive type analysis to support type-safe marshalling and how to generate certified type-analyzing object code." @default.
- W3006590528 created "2020-02-24" @default.
- W3006590528 creator A5038177344 @default.
- W3006590528 creator A5070627140 @default.
- W3006590528 creator A5086201495 @default.
- W3006590528 date "2000-09-01" @default.
- W3006590528 modified "2023-10-17" @default.
- W3006590528 title "Fully reflexive intensional type analysis" @default.
- W3006590528 cites W1595372275 @default.
- W3006590528 cites W2006125587 @default.
- W3006590528 cites W2024398154 @default.
- W3006590528 cites W2030916392 @default.
- W3006590528 cites W2032777378 @default.
- W3006590528 cites W2033185534 @default.
- W3006590528 cites W2046645050 @default.
- W3006590528 cites W2066166567 @default.
- W3006590528 cites W2070179848 @default.
- W3006590528 cites W2070430903 @default.
- W3006590528 cites W2082367883 @default.
- W3006590528 cites W2097166325 @default.
- W3006590528 cites W2107821848 @default.
- W3006590528 cites W2118227920 @default.
- W3006590528 cites W2127818463 @default.
- W3006590528 cites W2165264979 @default.
- W3006590528 cites W2171691057 @default.
- W3006590528 doi "https://doi.org/10.1145/357766.351248" @default.
- W3006590528 hasPublicationYear "2000" @default.
- W3006590528 type Work @default.
- W3006590528 sameAs 3006590528 @default.
- W3006590528 citedByCount "5" @default.
- W3006590528 countsByYear W30065905282016 @default.
- W3006590528 countsByYear W30065905282017 @default.
- W3006590528 crossrefType "journal-article" @default.
- W3006590528 hasAuthorship W3006590528A5038177344 @default.
- W3006590528 hasAuthorship W3006590528A5070627140 @default.
- W3006590528 hasAuthorship W3006590528A5086201495 @default.
- W3006590528 hasBestOaLocation W30065905281 @default.
- W3006590528 hasConcept C105122174 @default.
- W3006590528 hasConcept C138958017 @default.
- W3006590528 hasConcept C153269930 @default.
- W3006590528 hasConcept C169590947 @default.
- W3006590528 hasConcept C175971053 @default.
- W3006590528 hasConcept C18903297 @default.
- W3006590528 hasConcept C199360897 @default.
- W3006590528 hasConcept C20528804 @default.
- W3006590528 hasConcept C206019424 @default.
- W3006590528 hasConcept C2777299769 @default.
- W3006590528 hasConcept C41008148 @default.
- W3006590528 hasConcept C44779574 @default.
- W3006590528 hasConcept C62073222 @default.
- W3006590528 hasConcept C75403996 @default.
- W3006590528 hasConcept C80444323 @default.
- W3006590528 hasConcept C86803240 @default.
- W3006590528 hasConcept C93682546 @default.
- W3006590528 hasConceptScore W3006590528C105122174 @default.
- W3006590528 hasConceptScore W3006590528C138958017 @default.
- W3006590528 hasConceptScore W3006590528C153269930 @default.
- W3006590528 hasConceptScore W3006590528C169590947 @default.
- W3006590528 hasConceptScore W3006590528C175971053 @default.
- W3006590528 hasConceptScore W3006590528C18903297 @default.
- W3006590528 hasConceptScore W3006590528C199360897 @default.
- W3006590528 hasConceptScore W3006590528C20528804 @default.
- W3006590528 hasConceptScore W3006590528C206019424 @default.
- W3006590528 hasConceptScore W3006590528C2777299769 @default.
- W3006590528 hasConceptScore W3006590528C41008148 @default.
- W3006590528 hasConceptScore W3006590528C44779574 @default.
- W3006590528 hasConceptScore W3006590528C62073222 @default.
- W3006590528 hasConceptScore W3006590528C75403996 @default.
- W3006590528 hasConceptScore W3006590528C80444323 @default.
- W3006590528 hasConceptScore W3006590528C86803240 @default.
- W3006590528 hasConceptScore W3006590528C93682546 @default.
- W3006590528 hasIssue "9" @default.
- W3006590528 hasLocation W30065905281 @default.
- W3006590528 hasOpenAccess W3006590528 @default.
- W3006590528 hasPrimaryLocation W30065905281 @default.
- W3006590528 hasRelatedWork W1554909497 @default.
- W3006590528 hasRelatedWork W2112150205 @default.
- W3006590528 hasRelatedWork W2118227920 @default.
- W3006590528 hasRelatedWork W2127402358 @default.
- W3006590528 hasRelatedWork W2167486301 @default.
- W3006590528 hasRelatedWork W2964853020 @default.
- W3006590528 hasRelatedWork W2979520889 @default.
- W3006590528 hasRelatedWork W3006590528 @default.
- W3006590528 hasRelatedWork W3790221 @default.
- W3006590528 hasRelatedWork W4288269312 @default.
- W3006590528 hasVolume "35" @default.
- W3006590528 isParatext "false" @default.
- W3006590528 isRetracted "false" @default.
- W3006590528 magId "3006590528" @default.
- W3006590528 workType "article" @default.