Context-free session types

  title={Context-free session types},
  author={Peter Thiemann and Vasco Thudichum Vasconcelos},
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