A Functional Reactive Programming Language for Small-Scale Embedded Systems with Recursive Data Types
2018 ◽
Vol 2
(ICFP)
◽
pp. 1-30
◽