@techreport{delaval:inria-00193731, TITLE = {{A Type System for the Automatic Distribution of Higher-order Synchronous Dataflow Programs}}, AUTHOR = {Delaval, Gwena{\"e}l and Girault, Alain and Pouzet, Marc}, URL = {https://inria.hal.science/inria-00193731}, TYPE = {Research Report}, NUMBER = {RR-6378}, INSTITUTION = {{INRIA}}, YEAR = {2007}, KEYWORDS = {Synchronous programming ; automatic distribution ; type systems}, PDF = {https://inria.hal.science/inria-00193731v2/file/RR-6378.pdf}, HAL_ID = {inria-00193731}, HAL_VERSION = {v2}, }