Matches in SemOpenAlex for { <https://semopenalex.org/work/W2890836896> ?p ?o ?g. }
Showing items 1 to 92 of
92
with 100 items per page.
- W2890836896 abstract "Modern programming languages have effects and mix multiple calling conventions, and their core calculi should too. We characterize calling conventions by their “substitution discipline” that says what variables stand for, and design calculi for mixing disciplines in a single program. Building on variations of the reducibility candidates method, including biorthogonality and symmetric candidates which are both specialized for one discipline, we develop a single uniform framework for strong normalization encompassing call-by-name, call-by-value, call-by-need, call-by-push-value, non-deterministic disciplines, and any others satisfying some simple criteria. We explicate commonalities of previous methods and show they are special cases of the uniform framework and they extend to multi-discipline programs." @default.
- W2890836896 created "2018-09-27" @default.
- W2890836896 creator A5020454182 @default.
- W2890836896 creator A5049510187 @default.
- W2890836896 creator A5064696313 @default.
- W2890836896 date "2018-01-01" @default.
- W2890836896 modified "2023-10-17" @default.
- W2890836896 title "Uniform Strong Normalization for Multi-discipline Calculi" @default.
- W2890836896 cites W129833001 @default.
- W2890836896 cites W1597497095 @default.
- W2890836896 cites W1738264400 @default.
- W2890836896 cites W1839102226 @default.
- W2890836896 cites W184349421 @default.
- W2890836896 cites W1971461250 @default.
- W2890836896 cites W1980939032 @default.
- W2890836896 cites W1992668216 @default.
- W2890836896 cites W2016326123 @default.
- W2890836896 cites W2040871029 @default.
- W2890836896 cites W2043566933 @default.
- W2890836896 cites W2053198071 @default.
- W2890836896 cites W2057292961 @default.
- W2890836896 cites W2074767526 @default.
- W2890836896 cites W2088735483 @default.
- W2890836896 cites W2149412346 @default.
- W2890836896 cites W2149837936 @default.
- W2890836896 cites W2483114314 @default.
- W2890836896 cites W2911865844 @default.
- W2890836896 cites W3005174853 @default.
- W2890836896 cites W40564209 @default.
- W2890836896 cites W4249832317 @default.
- W2890836896 doi "https://doi.org/10.1007/978-3-319-99840-4_12" @default.
- W2890836896 hasPublicationYear "2018" @default.
- W2890836896 type Work @default.
- W2890836896 sameAs 2890836896 @default.
- W2890836896 citedByCount "0" @default.
- W2890836896 crossrefType "book-chapter" @default.
- W2890836896 hasAuthorship W2890836896A5020454182 @default.
- W2890836896 hasAuthorship W2890836896A5049510187 @default.
- W2890836896 hasAuthorship W2890836896A5064696313 @default.
- W2890836896 hasBestOaLocation W28908368962 @default.
- W2890836896 hasConcept C111472728 @default.
- W2890836896 hasConcept C136886441 @default.
- W2890836896 hasConcept C138885662 @default.
- W2890836896 hasConcept C144024400 @default.
- W2890836896 hasConcept C19165224 @default.
- W2890836896 hasConcept C199360897 @default.
- W2890836896 hasConcept C2164484 @default.
- W2890836896 hasConcept C2780586882 @default.
- W2890836896 hasConcept C41008148 @default.
- W2890836896 hasConcept C42383842 @default.
- W2890836896 hasConcept C76155785 @default.
- W2890836896 hasConcept C80444323 @default.
- W2890836896 hasConceptScore W2890836896C111472728 @default.
- W2890836896 hasConceptScore W2890836896C136886441 @default.
- W2890836896 hasConceptScore W2890836896C138885662 @default.
- W2890836896 hasConceptScore W2890836896C144024400 @default.
- W2890836896 hasConceptScore W2890836896C19165224 @default.
- W2890836896 hasConceptScore W2890836896C199360897 @default.
- W2890836896 hasConceptScore W2890836896C2164484 @default.
- W2890836896 hasConceptScore W2890836896C2780586882 @default.
- W2890836896 hasConceptScore W2890836896C41008148 @default.
- W2890836896 hasConceptScore W2890836896C42383842 @default.
- W2890836896 hasConceptScore W2890836896C76155785 @default.
- W2890836896 hasConceptScore W2890836896C80444323 @default.
- W2890836896 hasLocation W28908368961 @default.
- W2890836896 hasLocation W28908368962 @default.
- W2890836896 hasOpenAccess W2890836896 @default.
- W2890836896 hasPrimaryLocation W28908368961 @default.
- W2890836896 hasRelatedWork W1965765328 @default.
- W2890836896 hasRelatedWork W1966624099 @default.
- W2890836896 hasRelatedWork W2033125451 @default.
- W2890836896 hasRelatedWork W2062554483 @default.
- W2890836896 hasRelatedWork W2101443478 @default.
- W2890836896 hasRelatedWork W2127490568 @default.
- W2890836896 hasRelatedWork W2166944884 @default.
- W2890836896 hasRelatedWork W2176973685 @default.
- W2890836896 hasRelatedWork W2343594650 @default.
- W2890836896 hasRelatedWork W2392605027 @default.
- W2890836896 hasRelatedWork W2530798984 @default.
- W2890836896 hasRelatedWork W2899983118 @default.
- W2890836896 hasRelatedWork W2912302045 @default.
- W2890836896 hasRelatedWork W2980961330 @default.
- W2890836896 hasRelatedWork W2995413974 @default.
- W2890836896 hasRelatedWork W3091639623 @default.
- W2890836896 hasRelatedWork W3173869545 @default.
- W2890836896 hasRelatedWork W3204834938 @default.
- W2890836896 hasRelatedWork W75064631 @default.
- W2890836896 hasRelatedWork W91657821 @default.
- W2890836896 isParatext "false" @default.
- W2890836896 isRetracted "false" @default.
- W2890836896 magId "2890836896" @default.
- W2890836896 workType "book-chapter" @default.