BEAT

BEAT 2019 with POPL 2019

Behavioural types are abstract representations of the sequences of operations that computational entities (say, channels) must perform. Stateful entities offer services in a non-uniform way (one cannot pop from an empty stack); traditional type systems cannot guarantee that operations are only invoked when the entity is in the right state. Context Large-scale software systems rely on message-passing protocols: ...