TY  - RPRT
TI  - Behavioural Types for Heterogeneous Systems (Position Paper)
AU  - Simon Fowler
AU  - Philipp Haller
AU  - Roland Kuhn
AU  - Sam Lindley
AU  - Alceste Scalas
AU  - Vasco T. Vasconcelos
PY  - 2024
DO  - 10.4204/eptcs.401.4
UR  - https://arxiv.org/abs/2404.05479
ID  - 2404.05479
ER  -