TY  - RPRT
TI  - Functional Choreographic Programming
AU  - Luís Cruz-Filipe
AU  - Eva Graversen
AU  - Lovro Lugović
AU  - Fabrizio Montesi
AU  - Marco Peressotti
PY  - 2022
UR  - https://arxiv.org/abs/2111.03701
ID  - 2111.03701
ER  -