Matches in SemOpenAlex for { <https://semopenalex.org/work/W3205242392> ?p ?o ?g. }
- W3205242392 abstract "In sequential functional languages, sized types enable termination checking of programs with complex patterns of recursion in the presence of mixed inductive-coinductive types. In this paper, we adapt sized types and their metatheory to the concurrent setting. We extend the semi-axiomatic sequent calculus, a subsuming paradigm for futures-based functional concurrency, and its underlying operational semantics with recursion and arithmetic refinements. The latter enables a new and highly general sized type scheme we call sized type refinements. As a widely applicable technical device, we type recursive programs with infinitely deep typing derivations that unfold all recursive calls. Then, we observe that certain such derivations can be made infinitely wide but finitely deep. The resulting trees serve as the induction target of our strong normalization result, which we develop via a novel logical relations argument." @default.
- W3205242392 created "2021-10-25" @default.
- W3205242392 creator A5021476649 @default.
- W3205242392 creator A5034058739 @default.
- W3205242392 date "2021-10-19" @default.
- W3205242392 modified "2023-09-27" @default.
- W3205242392 title "Type-Based Termination for Futures" @default.
- W3205242392 cites W1532542548 @default.
- W3205242392 cites W1537467263 @default.
- W3205242392 cites W1551651413 @default.
- W3205242392 cites W1556837122 @default.
- W3205242392 cites W1557561422 @default.
- W3205242392 cites W1560340731 @default.
- W3205242392 cites W1579463431 @default.
- W3205242392 cites W1583295953 @default.
- W3205242392 cites W159715351 @default.
- W3205242392 cites W1607623316 @default.
- W3205242392 cites W1772036931 @default.
- W3205242392 cites W196808440 @default.
- W3205242392 cites W1983496086 @default.
- W3205242392 cites W1983587324 @default.
- W3205242392 cites W1993129359 @default.
- W3205242392 cites W2005192022 @default.
- W3205242392 cites W2028016184 @default.
- W3205242392 cites W2054150540 @default.
- W3205242392 cites W2070188769 @default.
- W3205242392 cites W2072572819 @default.
- W3205242392 cites W2085243417 @default.
- W3205242392 cites W2086165437 @default.
- W3205242392 cites W2107438584 @default.
- W3205242392 cites W2107905351 @default.
- W3205242392 cites W2114058479 @default.
- W3205242392 cites W2128180740 @default.
- W3205242392 cites W2129381550 @default.
- W3205242392 cites W2132181573 @default.
- W3205242392 cites W2148387264 @default.
- W3205242392 cites W2150999924 @default.
- W3205242392 cites W2153557668 @default.
- W3205242392 cites W2168162624 @default.
- W3205242392 cites W2171496589 @default.
- W3205242392 cites W2188068291 @default.
- W3205242392 cites W2517371102 @default.
- W3205242392 cites W2553042017 @default.
- W3205242392 cites W2747492382 @default.
- W3205242392 cites W2779850521 @default.
- W3205242392 cites W2797069268 @default.
- W3205242392 cites W2918429258 @default.
- W3205242392 cites W2963744630 @default.
- W3205242392 cites W2966706555 @default.
- W3205242392 cites W2995660597 @default.
- W3205242392 cites W3000278067 @default.
- W3205242392 cites W3037905658 @default.
- W3205242392 cites W3081625510 @default.
- W3205242392 cites W3087856390 @default.
- W3205242392 cites W3113536295 @default.
- W3205242392 cites W3115222340 @default.
- W3205242392 cites W3122350614 @default.
- W3205242392 cites W3147892619 @default.
- W3205242392 cites W3200633237 @default.
- W3205242392 cites W49020731 @default.
- W3205242392 cites W90014207 @default.
- W3205242392 cites W2584348005 @default.
- W3205242392 cites W2585158637 @default.
- W3205242392 hasPublicationYear "2021" @default.
- W3205242392 type Work @default.
- W3205242392 sameAs 3205242392 @default.
- W3205242392 citedByCount "0" @default.
- W3205242392 crossrefType "posted-content" @default.
- W3205242392 hasAuthorship W3205242392A5021476649 @default.
- W3205242392 hasAuthorship W3205242392A5034058739 @default.
- W3205242392 hasConcept C108710211 @default.
- W3205242392 hasConcept C135315306 @default.
- W3205242392 hasConcept C136119220 @default.
- W3205242392 hasConcept C136886441 @default.
- W3205242392 hasConcept C138958017 @default.
- W3205242392 hasConcept C144024400 @default.
- W3205242392 hasConcept C168773036 @default.
- W3205242392 hasConcept C176181172 @default.
- W3205242392 hasConcept C18903297 @default.
- W3205242392 hasConcept C19165224 @default.
- W3205242392 hasConcept C193702766 @default.
- W3205242392 hasConcept C199360897 @default.
- W3205242392 hasConcept C202444582 @default.
- W3205242392 hasConcept C2524010 @default.
- W3205242392 hasConcept C2777299769 @default.
- W3205242392 hasConcept C33923547 @default.
- W3205242392 hasConcept C40220748 @default.
- W3205242392 hasConcept C41008148 @default.
- W3205242392 hasConcept C42383842 @default.
- W3205242392 hasConcept C80444323 @default.
- W3205242392 hasConcept C86803240 @default.
- W3205242392 hasConcept C89421646 @default.
- W3205242392 hasConcept C93682546 @default.
- W3205242392 hasConceptScore W3205242392C108710211 @default.
- W3205242392 hasConceptScore W3205242392C135315306 @default.
- W3205242392 hasConceptScore W3205242392C136119220 @default.
- W3205242392 hasConceptScore W3205242392C136886441 @default.
- W3205242392 hasConceptScore W3205242392C138958017 @default.
- W3205242392 hasConceptScore W3205242392C144024400 @default.
- W3205242392 hasConceptScore W3205242392C168773036 @default.