BEAT 2019
Sun 13 - Sat 19 January 2019 Cascais, Portugal
co-located with POPL 2019
All Editions
Sun 13 - Sat 19 January 2019 Cascais, Portugal

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