Matches in SemOpenAlex for { <https://semopenalex.org/work/W4243362845> ?p ?o ?g. }
Showing items 1 to 83 of
83
with 100 items per page.
- W4243362845 endingPage "475" @default.
- W4243362845 startingPage "462" @default.
- W4243362845 abstract "Session types describe structured communication on heterogeneously typed channels at a high level. Their tail-recursive structure imposes a protocol that can be described by a regular language. The types of transmitted values are drawn from the underlying functional language, abstracting from the details of serializing values of structured data types. Context-free session types extend session types by allowing nested protocols that are not restricted to tail recursion. Nested protocols correspond to deterministic context-free languages. Such protocols are interesting in their own right, but they are particularly suited to describe the low-level serialization of tree-structured data in a type-safe way. We establish the metatheory of context-free session types, prove that they properly generalize standard (two-party) session types, and take first steps towards type checking by showing that type equivalence is decidable." @default.
- W4243362845 created "2022-05-12" @default.
- W4243362845 creator A5000384936 @default.
- W4243362845 creator A5016342119 @default.
- W4243362845 date "2016-09-04" @default.
- W4243362845 modified "2023-09-23" @default.
- W4243362845 title "Context-free session types" @default.
- W4243362845 cites W1537467263 @default.
- W4243362845 cites W1965551437 @default.
- W4243362845 cites W1991621238 @default.
- W4243362845 cites W2015888335 @default.
- W4243362845 cites W2040105559 @default.
- W4243362845 cites W2078105844 @default.
- W4243362845 cites W2098401737 @default.
- W4243362845 cites W2124126159 @default.
- W4243362845 cites W2138552902 @default.
- W4243362845 cites W2142944765 @default.
- W4243362845 cites W2171043779 @default.
- W4243362845 cites W2329205359 @default.
- W4243362845 cites W3029782483 @default.
- W4243362845 cites W4212983671 @default.
- W4243362845 cites W4248304257 @default.
- W4243362845 doi "https://doi.org/10.1145/3022670.2951926" @default.
- W4243362845 hasPublicationYear "2016" @default.
- W4243362845 type Work @default.
- W4243362845 citedByCount "2" @default.
- W4243362845 countsByYear W42433628452017 @default.
- W4243362845 countsByYear W42433628452018 @default.
- W4243362845 crossrefType "journal-article" @default.
- W4243362845 hasAuthorship W4243362845A5000384936 @default.
- W4243362845 hasAuthorship W4243362845A5016342119 @default.
- W4243362845 hasConcept C136764020 @default.
- W4243362845 hasConcept C138958017 @default.
- W4243362845 hasConcept C151730666 @default.
- W4243362845 hasConcept C153269930 @default.
- W4243362845 hasConcept C154945302 @default.
- W4243362845 hasConcept C168773036 @default.
- W4243362845 hasConcept C198370458 @default.
- W4243362845 hasConcept C199360897 @default.
- W4243362845 hasConcept C2776214188 @default.
- W4243362845 hasConcept C2779182362 @default.
- W4243362845 hasConcept C2779343474 @default.
- W4243362845 hasConcept C41008148 @default.
- W4243362845 hasConcept C44779574 @default.
- W4243362845 hasConcept C52723943 @default.
- W4243362845 hasConcept C80444323 @default.
- W4243362845 hasConcept C86803240 @default.
- W4243362845 hasConceptScore W4243362845C136764020 @default.
- W4243362845 hasConceptScore W4243362845C138958017 @default.
- W4243362845 hasConceptScore W4243362845C151730666 @default.
- W4243362845 hasConceptScore W4243362845C153269930 @default.
- W4243362845 hasConceptScore W4243362845C154945302 @default.
- W4243362845 hasConceptScore W4243362845C168773036 @default.
- W4243362845 hasConceptScore W4243362845C198370458 @default.
- W4243362845 hasConceptScore W4243362845C199360897 @default.
- W4243362845 hasConceptScore W4243362845C2776214188 @default.
- W4243362845 hasConceptScore W4243362845C2779182362 @default.
- W4243362845 hasConceptScore W4243362845C2779343474 @default.
- W4243362845 hasConceptScore W4243362845C41008148 @default.
- W4243362845 hasConceptScore W4243362845C44779574 @default.
- W4243362845 hasConceptScore W4243362845C52723943 @default.
- W4243362845 hasConceptScore W4243362845C80444323 @default.
- W4243362845 hasConceptScore W4243362845C86803240 @default.
- W4243362845 hasIssue "9" @default.
- W4243362845 hasLocation W42433628451 @default.
- W4243362845 hasOpenAccess W4243362845 @default.
- W4243362845 hasPrimaryLocation W42433628451 @default.
- W4243362845 hasRelatedWork W1726238843 @default.
- W4243362845 hasRelatedWork W2112150205 @default.
- W4243362845 hasRelatedWork W2127402358 @default.
- W4243362845 hasRelatedWork W2142224267 @default.
- W4243362845 hasRelatedWork W2151275061 @default.
- W4243362845 hasRelatedWork W2763815264 @default.
- W4243362845 hasRelatedWork W2899384793 @default.
- W4243362845 hasRelatedWork W4243362845 @default.
- W4243362845 hasRelatedWork W4288269312 @default.
- W4243362845 hasRelatedWork W2584819674 @default.
- W4243362845 hasVolume "51" @default.
- W4243362845 isParatext "false" @default.
- W4243362845 isRetracted "false" @default.
- W4243362845 workType "article" @default.