A type system for the automatic distribution of higher-order synchronous dataflow programs.

Gwenaël Delaval Alain Girault Marc Pouzet A type system for the automatic distribution of higher-order synchronous dataflow programs. 101-110 2008 LCTES http://doi.acm.org/10.1145/1375657.1375672 conf/lctrts/2008 db/conf/lctrts/lctes2008.html#DelavalGP08