Integrating Behavioural Types Across Heterogeneous Software Components

Behavioural types provide a promising approach for lightweight, language-integrated verification of communication-centric software, but their adoption is hindered by the assumption that an entire system must be written using the same tools and typing discipline. This position paper proposes a methodology for integrating multiple behaviourally-typed components written in different languages.