Context-free session types
Peter J. Thiemann, VASCO THUDICHUM VASCONCELOS · 2016
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.