Higher-order functional reactive programming without spacetime leaks
Neelakantan R. Krishnaswami · 2013
Functional reactive programming (FRP) is an elegant approach to declaratively specify reactive systems. However, the powerful abstractions of FRP have historically made it difficult to predict and control the resource usage of programs written in this style.