Behavioural Types for Heterogeneous Systems (Position Paper)

Simon Fowler, Philipp Haller, Roland Kuhn +3

Behavioural types provide a promising way to achieve lightweight, language-integrated verification for communication-centric software. However, a large barrier to the adoption of b…