Polymorphic lambda calculus with context-free session types

Session types provide a typing discipline for structured communication on bidirectional channels. Context-free session types overcome the restriction to tail recursive protocols characteristic of conventional session types. This extension enables the serialization and deserialization of tree structu...

Celý popis

Podrobná bibliografia

Vydané v:	Information and computation Ročník 289; s. 104948
Hlavní autori:	Almeida, Bernardo, Mordido, Andreia, Thiemann, Peter, Vasconcelos, Vasco T.
Médium:	Journal Article
Jazyk:	English
Vydavateľské údaje:	Elsevier Inc 01.11.2022
Predmet:	Context-free types Functional programming Polymorphism Session types Context-free types Functional programming Session types Polymorphism
ISSN:	0890-5401, 1090-2651
On-line prístup:	Získať plný text
Tagy:	Pridať tag Žiadne tagy, Buďte prvý, kto otaguje tento záznam!