@inproceedings{CTT100714091, author = {Kohei Suzuki and Kanato Nagayama and Kensuke Sawada and Takuo Watanabe}, title = {CFRP: A Functional Reactive Programming Language for Small-Scale Embedded Systems}, booktitle = {Theory and Practice of Computation}, year = 2017, }