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… CONTINUE READING