"Kohei Suzuki,Kanato Nagayama,Kensuke Sawada,Takuo Watanabe","CFRP: A Functional Reactive Programming Language for Small-Scale Embedded Systems","Workshop on Computation: Theory and Practice (WCTP 2016)","Theory and Practice of Computation","World Scientific",,,"pp. 1-13",2017,Dec.