Matches in SemOpenAlex for { <https://semopenalex.org/work/W113801418> ?p ?o ?g. }
Showing items 1 to 72 of
72
with 100 items per page.
- W113801418 abstract "Programming is error-prone. Type systems have been demonstrated to be a powerful tool for the construction of reliable programs. Applied Type System ( ATS ) is a recently proposed framework to facilitate the design and formalization of advanced type systems. In ATS , many advanced language features can be naturally expressed and various commonly studied type systems can be readily formalized. In particular, ATS can provide support for dependent types in the presence of realistic language features such as general recursion, effects (references and exceptions), input/output, etc. However, given the expressiveness and complexity of ATS , it is a challenging task to design a practical programming language based on ATS as we need to provide succinct and convenient concrete syntax as well as to support decidable and effective type-checking. In this context, the problem of type inference arises naturally in ATS . This thesis focuses on developing solutions to the problem of type inference in ATS . We study λATS, which is a generic applied type system in ATS , as an internal language, and then develop ATS as an external language for λATS to support practical programming. We present a set of rules for elaborating programs from ATS to λATS, which is often called elaboration. In particular, we identify the difficulties resulting from the need for directly supporting existential types, and then develop novel elaboration techniques to properly address these difficulties. We establish the soundness of the elaboration, that is, a given program in ATS and its elaboration in λATS are guaranteed to have the same dynamic semantics, which constitutes a major technical contribution of this thesis. We expect that this work will not only offer some guidelines for implementing type inference algorithms for type systems based on ATS , but also provide a solid basis for justifying the soundness of such algorithms." @default.
- W113801418 created "2016-06-24" @default.
- W113801418 creator A5036030981 @default.
- W113801418 creator A5046868978 @default.
- W113801418 date "2006-01-01" @default.
- W113801418 modified "2023-09-26" @default.
- W113801418 title "Type inference in applied type system" @default.
- W113801418 hasPublicationYear "2006" @default.
- W113801418 type Work @default.
- W113801418 sameAs 113801418 @default.
- W113801418 citedByCount "1" @default.
- W113801418 crossrefType "journal-article" @default.
- W113801418 hasAuthorship W113801418A5036030981 @default.
- W113801418 hasAuthorship W113801418A5046868978 @default.
- W113801418 hasConcept C138885662 @default.
- W113801418 hasConcept C151730666 @default.
- W113801418 hasConcept C154945302 @default.
- W113801418 hasConcept C15708023 @default.
- W113801418 hasConcept C168773036 @default.
- W113801418 hasConcept C184337299 @default.
- W113801418 hasConcept C198370458 @default.
- W113801418 hasConcept C199360897 @default.
- W113801418 hasConcept C2776214188 @default.
- W113801418 hasConcept C2779192218 @default.
- W113801418 hasConcept C2779343474 @default.
- W113801418 hasConcept C39920170 @default.
- W113801418 hasConcept C41008148 @default.
- W113801418 hasConcept C60048249 @default.
- W113801418 hasConcept C80444323 @default.
- W113801418 hasConcept C86803240 @default.
- W113801418 hasConceptScore W113801418C138885662 @default.
- W113801418 hasConceptScore W113801418C151730666 @default.
- W113801418 hasConceptScore W113801418C154945302 @default.
- W113801418 hasConceptScore W113801418C15708023 @default.
- W113801418 hasConceptScore W113801418C168773036 @default.
- W113801418 hasConceptScore W113801418C184337299 @default.
- W113801418 hasConceptScore W113801418C198370458 @default.
- W113801418 hasConceptScore W113801418C199360897 @default.
- W113801418 hasConceptScore W113801418C2776214188 @default.
- W113801418 hasConceptScore W113801418C2779192218 @default.
- W113801418 hasConceptScore W113801418C2779343474 @default.
- W113801418 hasConceptScore W113801418C39920170 @default.
- W113801418 hasConceptScore W113801418C41008148 @default.
- W113801418 hasConceptScore W113801418C60048249 @default.
- W113801418 hasConceptScore W113801418C80444323 @default.
- W113801418 hasConceptScore W113801418C86803240 @default.
- W113801418 hasLocation W1138014181 @default.
- W113801418 hasOpenAccess W113801418 @default.
- W113801418 hasPrimaryLocation W1138014181 @default.
- W113801418 hasRelatedWork W109675643 @default.
- W113801418 hasRelatedWork W180059603 @default.
- W113801418 hasRelatedWork W199945531 @default.
- W113801418 hasRelatedWork W2040052557 @default.
- W113801418 hasRelatedWork W2188190628 @default.
- W113801418 hasRelatedWork W2271582496 @default.
- W113801418 hasRelatedWork W2399272228 @default.
- W113801418 hasRelatedWork W2466027200 @default.
- W113801418 hasRelatedWork W2741913295 @default.
- W113801418 hasRelatedWork W2791960754 @default.
- W113801418 hasRelatedWork W2885136115 @default.
- W113801418 hasRelatedWork W2952940507 @default.
- W113801418 hasRelatedWork W2990416205 @default.
- W113801418 hasRelatedWork W2991413938 @default.
- W113801418 hasRelatedWork W3003444615 @default.
- W113801418 hasRelatedWork W307134611 @default.
- W113801418 hasRelatedWork W3103086489 @default.
- W113801418 hasRelatedWork W3205313195 @default.
- W113801418 hasRelatedWork W1595894868 @default.
- W113801418 isParatext "false" @default.
- W113801418 isRetracted "false" @default.
- W113801418 magId "113801418" @default.
- W113801418 workType "article" @default.