@inproceedings{delaval:hal-00750870, 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/hal-00750870}, BOOKTITLE = {{LCTES - ACM International Conference on Languages, Compilers, and Tools for Embedded Systems}}, ADDRESS = {Tucson, United States}, PUBLISHER = {{ACM}}, SERIES = {Proceedings of the 2008 ACM SIGPLAN-SIGBED conference on Languages, compilers, and tools for embedded systems}, PAGES = {101-110}, YEAR = {2008}, MONTH = Jun, DOI = {10.1145/1375657.1375672}, KEYWORDS = {synchronous programming ; distribution ; type systems ; functional programming}, PDF = {https://inria.hal.science/hal-00750870/file/lctes50-delaval.pdf}, HAL_ID = {hal-00750870}, HAL_VERSION = {v1}, }