Gwenaël Delaval, Alain Girault, Marc Pouzet. A type system for the automatic distribution of higher-order synchronous dataflow programs. In Krisztián Flautner, John Regehr, editors, Proceedings of the 2008 ACM SIGPLAN/SIGBED Conference on Languages, Compilers, and Tools for Embedded Systems (LCTES 08), Tucson, AZ, USA, June 12-13, 2008. pages 101-110, ACM, 2008. [doi]
Abstract is missing.