Matches in SemOpenAlex for { <https://semopenalex.org/work/W2885367050> ?p ?o ?g. }
Showing items 1 to 94 of
94
with 100 items per page.
- W2885367050 abstract "Programs are more distributed and concurrent today than ever before, and structural communications are at the core. Constructing and debugging such programs are hard due to the lack of formal specification/verification of concurrency. This work formalizes the first multiparty dependent session types as an expressive and practical type discipline for enforcing communication protocols. The type system is formulated in the setting of multi-threaded $lambda$-calculus with inspirations from multirole logic, a generalization of classical logic we discovered earlier. We prove its soundness by a novel technique called deadlock-freeness reducibility. The soundness of the type system implies communication fidelity and absence of deadlock." @default.
- W2885367050 created "2018-08-22" @default.
- W2885367050 creator A5035568673 @default.
- W2885367050 creator A5046868978 @default.
- W2885367050 date "2018-07-31" @default.
- W2885367050 modified "2023-09-27" @default.
- W2885367050 title "Multiparty Dependent Session Types (Extended Abstract)." @default.
- W2885367050 cites W1498393124 @default.
- W2885367050 cites W1607623316 @default.
- W2885367050 cites W1784055113 @default.
- W2885367050 cites W1859947016 @default.
- W2885367050 cites W1886109164 @default.
- W2885367050 cites W1941373452 @default.
- W2885367050 cites W2004063149 @default.
- W2885367050 cites W2005192022 @default.
- W2885367050 cites W2010649834 @default.
- W2885367050 cites W2012968289 @default.
- W2885367050 cites W2015163350 @default.
- W2885367050 cites W2034870916 @default.
- W2885367050 cites W2040105559 @default.
- W2885367050 cites W2081109124 @default.
- W2885367050 cites W2088962847 @default.
- W2885367050 cites W2127884079 @default.
- W2885367050 cites W2153557668 @default.
- W2885367050 cites W2246451781 @default.
- W2885367050 cites W2295717976 @default.
- W2885367050 cites W2414857497 @default.
- W2885367050 cites W2483412402 @default.
- W2885367050 cites W2604594915 @default.
- W2885367050 cites W2608328884 @default.
- W2885367050 cites W269338226 @default.
- W2885367050 hasPublicationYear "2018" @default.
- W2885367050 type Work @default.
- W2885367050 sameAs 2885367050 @default.
- W2885367050 citedByCount "1" @default.
- W2885367050 countsByYear W28853670502018 @default.
- W2885367050 crossrefType "posted-content" @default.
- W2885367050 hasAuthorship W2885367050A5035568673 @default.
- W2885367050 hasAuthorship W2885367050A5046868978 @default.
- W2885367050 hasConcept C113429609 @default.
- W2885367050 hasConcept C120314980 @default.
- W2885367050 hasConcept C134306372 @default.
- W2885367050 hasConcept C136764020 @default.
- W2885367050 hasConcept C159023740 @default.
- W2885367050 hasConcept C168065819 @default.
- W2885367050 hasConcept C177148314 @default.
- W2885367050 hasConcept C193702766 @default.
- W2885367050 hasConcept C199360897 @default.
- W2885367050 hasConcept C2779182362 @default.
- W2885367050 hasConcept C33923547 @default.
- W2885367050 hasConcept C39920170 @default.
- W2885367050 hasConcept C41008148 @default.
- W2885367050 hasConcept C80444323 @default.
- W2885367050 hasConceptScore W2885367050C113429609 @default.
- W2885367050 hasConceptScore W2885367050C120314980 @default.
- W2885367050 hasConceptScore W2885367050C134306372 @default.
- W2885367050 hasConceptScore W2885367050C136764020 @default.
- W2885367050 hasConceptScore W2885367050C159023740 @default.
- W2885367050 hasConceptScore W2885367050C168065819 @default.
- W2885367050 hasConceptScore W2885367050C177148314 @default.
- W2885367050 hasConceptScore W2885367050C193702766 @default.
- W2885367050 hasConceptScore W2885367050C199360897 @default.
- W2885367050 hasConceptScore W2885367050C2779182362 @default.
- W2885367050 hasConceptScore W2885367050C33923547 @default.
- W2885367050 hasConceptScore W2885367050C39920170 @default.
- W2885367050 hasConceptScore W2885367050C41008148 @default.
- W2885367050 hasConceptScore W2885367050C80444323 @default.
- W2885367050 hasLocation W28853670501 @default.
- W2885367050 hasOpenAccess W2885367050 @default.
- W2885367050 hasPrimaryLocation W28853670501 @default.
- W2885367050 hasRelatedWork W1531016348 @default.
- W2885367050 hasRelatedWork W1543243434 @default.
- W2885367050 hasRelatedWork W1865597116 @default.
- W2885367050 hasRelatedWork W18866292 @default.
- W2885367050 hasRelatedWork W1967946180 @default.
- W2885367050 hasRelatedWork W2003314287 @default.
- W2885367050 hasRelatedWork W2021515159 @default.
- W2885367050 hasRelatedWork W2063009094 @default.
- W2885367050 hasRelatedWork W2102591593 @default.
- W2885367050 hasRelatedWork W2112732792 @default.
- W2885367050 hasRelatedWork W2170436517 @default.
- W2885367050 hasRelatedWork W2171783042 @default.
- W2885367050 hasRelatedWork W2400032228 @default.
- W2885367050 hasRelatedWork W2469507234 @default.
- W2885367050 hasRelatedWork W2600173982 @default.
- W2885367050 hasRelatedWork W2804435447 @default.
- W2885367050 hasRelatedWork W2899726318 @default.
- W2885367050 hasRelatedWork W3115181000 @default.
- W2885367050 hasRelatedWork W3147754316 @default.
- W2885367050 hasRelatedWork W3196015514 @default.
- W2885367050 isParatext "false" @default.
- W2885367050 isRetracted "false" @default.
- W2885367050 magId "2885367050" @default.
- W2885367050 workType "article" @default.