Matches in SemOpenAlex for { <https://semopenalex.org/work/W1481770540> ?p ?o ?g. }
Showing items 1 to 94 of
94
with 100 items per page.
- W1481770540 abstract "Preserving types through compilation guarantees safety of the compiler output without trusting the compiler: the compiler output is annotated with types and can be verified. Type inference can make this technique more practical by inferring most of the needed type information. Existential types, however, are difficult to infer, especially those with implicit pack and unpack operations. This paper proposes a framework for type inference with existential quantification and demonstrates the framework on a small object-oriented typed assembly language. The framework is flexible enough to support language features such as downward casts, arrays, and interfaces. The framework is based on category theory, the first such application of category theory to type inference to the best of our knowledge." @default.
- W1481770540 created "2016-06-24" @default.
- W1481770540 creator A5001655224 @default.
- W1481770540 creator A5016958899 @default.
- W1481770540 creator A5026071162 @default.
- W1481770540 date "2008-12-01" @default.
- W1481770540 modified "2023-09-23" @default.
- W1481770540 title "A Flexible Framework for Type Inference with Existential Quantification" @default.
- W1481770540 cites W127506714 @default.
- W1481770540 cites W1514258760 @default.
- W1481770540 cites W1965338843 @default.
- W1481770540 cites W1993209012 @default.
- W1481770540 cites W2025407135 @default.
- W1481770540 cites W2025672027 @default.
- W1481770540 cites W2043100293 @default.
- W1481770540 cites W2069107692 @default.
- W1481770540 cites W2081596204 @default.
- W1481770540 cites W2088027070 @default.
- W1481770540 cites W2097157641 @default.
- W1481770540 cites W2104963439 @default.
- W1481770540 cites W2133546079 @default.
- W1481770540 cites W2134585967 @default.
- W1481770540 cites W2150769115 @default.
- W1481770540 cites W2151480972 @default.
- W1481770540 cites W2152534261 @default.
- W1481770540 cites W2161280002 @default.
- W1481770540 cites W2166822586 @default.
- W1481770540 hasPublicationYear "2008" @default.
- W1481770540 type Work @default.
- W1481770540 sameAs 1481770540 @default.
- W1481770540 citedByCount "0" @default.
- W1481770540 crossrefType "journal-article" @default.
- W1481770540 hasAuthorship W1481770540A5001655224 @default.
- W1481770540 hasAuthorship W1481770540A5016958899 @default.
- W1481770540 hasAuthorship W1481770540A5026071162 @default.
- W1481770540 hasConcept C111472728 @default.
- W1481770540 hasConcept C127882523 @default.
- W1481770540 hasConcept C138885662 @default.
- W1481770540 hasConcept C154945302 @default.
- W1481770540 hasConcept C169590947 @default.
- W1481770540 hasConcept C18903297 @default.
- W1481770540 hasConcept C198370458 @default.
- W1481770540 hasConcept C199360897 @default.
- W1481770540 hasConcept C204321447 @default.
- W1481770540 hasConcept C2776214188 @default.
- W1481770540 hasConcept C2777299769 @default.
- W1481770540 hasConcept C2781238097 @default.
- W1481770540 hasConcept C41008148 @default.
- W1481770540 hasConcept C80444323 @default.
- W1481770540 hasConcept C86803240 @default.
- W1481770540 hasConcept C93682546 @default.
- W1481770540 hasConceptScore W1481770540C111472728 @default.
- W1481770540 hasConceptScore W1481770540C127882523 @default.
- W1481770540 hasConceptScore W1481770540C138885662 @default.
- W1481770540 hasConceptScore W1481770540C154945302 @default.
- W1481770540 hasConceptScore W1481770540C169590947 @default.
- W1481770540 hasConceptScore W1481770540C18903297 @default.
- W1481770540 hasConceptScore W1481770540C198370458 @default.
- W1481770540 hasConceptScore W1481770540C199360897 @default.
- W1481770540 hasConceptScore W1481770540C204321447 @default.
- W1481770540 hasConceptScore W1481770540C2776214188 @default.
- W1481770540 hasConceptScore W1481770540C2777299769 @default.
- W1481770540 hasConceptScore W1481770540C2781238097 @default.
- W1481770540 hasConceptScore W1481770540C41008148 @default.
- W1481770540 hasConceptScore W1481770540C80444323 @default.
- W1481770540 hasConceptScore W1481770540C86803240 @default.
- W1481770540 hasConceptScore W1481770540C93682546 @default.
- W1481770540 hasLocation W14817705401 @default.
- W1481770540 hasOpenAccess W1481770540 @default.
- W1481770540 hasPrimaryLocation W14817705401 @default.
- W1481770540 hasRelatedWork W1491345954 @default.
- W1481770540 hasRelatedWork W1508398345 @default.
- W1481770540 hasRelatedWork W1568444775 @default.
- W1481770540 hasRelatedWork W1882722671 @default.
- W1481770540 hasRelatedWork W1967860030 @default.
- W1481770540 hasRelatedWork W1971708293 @default.
- W1481770540 hasRelatedWork W2015166041 @default.
- W1481770540 hasRelatedWork W2037810676 @default.
- W1481770540 hasRelatedWork W2058377260 @default.
- W1481770540 hasRelatedWork W2091347613 @default.
- W1481770540 hasRelatedWork W2121997300 @default.
- W1481770540 hasRelatedWork W2238262809 @default.
- W1481770540 hasRelatedWork W2327696470 @default.
- W1481770540 hasRelatedWork W2371731951 @default.
- W1481770540 hasRelatedWork W2549911316 @default.
- W1481770540 hasRelatedWork W2952952750 @default.
- W1481770540 hasRelatedWork W3032136009 @default.
- W1481770540 hasRelatedWork W3109814123 @default.
- W1481770540 hasRelatedWork W3156111306 @default.
- W1481770540 hasRelatedWork W3197107230 @default.
- W1481770540 isParatext "false" @default.
- W1481770540 isRetracted "false" @default.
- W1481770540 magId "1481770540" @default.
- W1481770540 workType "article" @default.