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...

Full description

Bibliographic Details

Published in:	Information and computation Vol. 289; p. 104948
Main Authors:	Almeida, Bernardo, Mordido, Andreia, Thiemann, Peter, Vasconcelos, Vasco T.
Format:	Journal Article
Language:	English
Published:	Elsevier Inc 01.11.2022
Subjects:	Context-free types Functional programming Polymorphism Session types Context-free types Functional programming Session types Polymorphism
ISSN:	0890-5401, 1090-2651
Online Access:	Get full text
Tags:	Add Tag No Tags, Be the first to tag this record!