TY  - RPRT
TI  - A Type System for the Automatic Distribution of Higher-order Synchronous Dataflow Programs
AU  - Gwenaël Delaval
AU  - Alain Girault
AU  - Marc Pouzet
PY  - 2012
DO  - 10.1145/1375657.1375672
UR  - https://arxiv.org/abs/1211.2776
ID  - 1211.2776
ER  -