TY  - RPRT
TI  - Pirouette: Higher-Order Typed Functional Choreographies
AU  - Andrew K. Hirsch
AU  - Deepak Garg
PY  - 2021
UR  - https://arxiv.org/abs/2111.03484
ID  - 2111.03484
ER  -