Matches in SemOpenAlex for { <https://semopenalex.org/work/W3171092197> ?p ?o ?g. }
- W3171092197 abstract "Context-free session types provide a typing discipline for recursive structured communication protocols on bidirectional channels. They overcome the restriction of regular session type systems to tail recursive protocols. This extension enables us to implement serialisation and deserialisation of tree structures in a fully type-safe manner. We present the theory underlying the language FreeST 2, which features context-free session types in an extension of System F with linear types and a kind system to distinguish message types and channel types. The system presents some metatheoretical challenges, which we address, contractivity in the presence of polymorphism, a non-trivial equational theory on types, and decidability of type equivalence. We also establish standard results on type preservation, progress, and a characterisation of erroneous processes." @default.
- W3171092197 created "2021-06-22" @default.
- W3171092197 creator A5000384936 @default.
- W3171092197 creator A5016342119 @default.
- W3171092197 creator A5023116813 @default.
- W3171092197 creator A5066863234 @default.
- W3171092197 date "2021-06-12" @default.
- W3171092197 modified "2023-09-27" @default.
- W3171092197 title "Polymorphic Context-free Session Types." @default.
- W3171092197 cites W1498393124 @default.
- W3171092197 cites W1507802114 @default.
- W3171092197 cites W1509279433 @default.
- W3171092197 cites W1516417205 @default.
- W3171092197 cites W1534938212 @default.
- W3171092197 cites W1557561422 @default.
- W3171092197 cites W1570153264 @default.
- W3171092197 cites W1571962375 @default.
- W3171092197 cites W159517077 @default.
- W3171092197 cites W1607623316 @default.
- W3171092197 cites W1760139041 @default.
- W3171092197 cites W1784055113 @default.
- W3171092197 cites W1863315251 @default.
- W3171092197 cites W1941373452 @default.
- W3171092197 cites W1965551437 @default.
- W3171092197 cites W2025260761 @default.
- W3171092197 cites W2036676170 @default.
- W3171092197 cites W2045564677 @default.
- W3171092197 cites W2054150540 @default.
- W3171092197 cites W2080718905 @default.
- W3171092197 cites W2088962847 @default.
- W3171092197 cites W2098456419 @default.
- W3171092197 cites W2124126159 @default.
- W3171092197 cites W2128280268 @default.
- W3171092197 cites W2128932399 @default.
- W3171092197 cites W2138552902 @default.
- W3171092197 cites W2144850774 @default.
- W3171092197 cites W2163976959 @default.
- W3171092197 cites W2166378226 @default.
- W3171092197 cites W2170800927 @default.
- W3171092197 cites W2172149339 @default.
- W3171092197 cites W2272757247 @default.
- W3171092197 cites W2293338131 @default.
- W3171092197 cites W2325347394 @default.
- W3171092197 cites W241121309 @default.
- W3171092197 cites W2508649175 @default.
- W3171092197 cites W2753352514 @default.
- W3171092197 cites W2899725893 @default.
- W3171092197 cites W2922398162 @default.
- W3171092197 cites W3017168772 @default.
- W3171092197 cites W3047969424 @default.
- W3171092197 cites W3105584436 @default.
- W3171092197 cites W3116200388 @default.
- W3171092197 cites W3147892619 @default.
- W3171092197 cites W3149247157 @default.
- W3171092197 cites W369805404 @default.
- W3171092197 cites W776882319 @default.
- W3171092197 hasPublicationYear "2021" @default.
- W3171092197 type Work @default.
- W3171092197 sameAs 3171092197 @default.
- W3171092197 citedByCount "0" @default.
- W3171092197 crossrefType "posted-content" @default.
- W3171092197 hasAuthorship W3171092197A5000384936 @default.
- W3171092197 hasAuthorship W3171092197A5016342119 @default.
- W3171092197 hasAuthorship W3171092197A5023116813 @default.
- W3171092197 hasAuthorship W3171092197A5066863234 @default.
- W3171092197 hasConcept C118615104 @default.
- W3171092197 hasConcept C136764020 @default.
- W3171092197 hasConcept C151730666 @default.
- W3171092197 hasConcept C153269930 @default.
- W3171092197 hasConcept C154945302 @default.
- W3171092197 hasConcept C18903297 @default.
- W3171092197 hasConcept C198370458 @default.
- W3171092197 hasConcept C199360897 @default.
- W3171092197 hasConcept C2776214188 @default.
- W3171092197 hasConcept C2777299769 @default.
- W3171092197 hasConcept C2778029271 @default.
- W3171092197 hasConcept C2779182362 @default.
- W3171092197 hasConcept C2779343474 @default.
- W3171092197 hasConcept C2780069185 @default.
- W3171092197 hasConcept C33923547 @default.
- W3171092197 hasConcept C41008148 @default.
- W3171092197 hasConcept C80444323 @default.
- W3171092197 hasConcept C86803240 @default.
- W3171092197 hasConcept C93682546 @default.
- W3171092197 hasConceptScore W3171092197C118615104 @default.
- W3171092197 hasConceptScore W3171092197C136764020 @default.
- W3171092197 hasConceptScore W3171092197C151730666 @default.
- W3171092197 hasConceptScore W3171092197C153269930 @default.
- W3171092197 hasConceptScore W3171092197C154945302 @default.
- W3171092197 hasConceptScore W3171092197C18903297 @default.
- W3171092197 hasConceptScore W3171092197C198370458 @default.
- W3171092197 hasConceptScore W3171092197C199360897 @default.
- W3171092197 hasConceptScore W3171092197C2776214188 @default.
- W3171092197 hasConceptScore W3171092197C2777299769 @default.
- W3171092197 hasConceptScore W3171092197C2778029271 @default.
- W3171092197 hasConceptScore W3171092197C2779182362 @default.
- W3171092197 hasConceptScore W3171092197C2779343474 @default.
- W3171092197 hasConceptScore W3171092197C2780069185 @default.
- W3171092197 hasConceptScore W3171092197C33923547 @default.
- W3171092197 hasConceptScore W3171092197C41008148 @default.