A new ICFP 15 paper by Ploeg and Claessen; abstract:

We present a new interface for practical Functional Reactive Programming (FRP) that (1) is close in spirit to the original FRP ideas,

(2) does not have the original space-leak problems, without using arrows or advanced types, and (3) provides a simple and expressive way for performing I/O actions from FRP code. We also provide a denotational semantics for this new interface, and a technique (using Kripke logical relations) for reasoning about which FRP functions may “forget their past”, i.e. which functions do not have an inherent space-leak. Finally, we show how we have implemented this interface as a Haskell library called FRPNow.

Fixed link.

## Recent comments

1 hour 18 min ago

2 hours 41 min ago

3 hours 21 min ago

3 hours 45 min ago

4 hours 42 min ago

5 hours 31 min ago

11 hours 40 min ago

12 hours 13 min ago

12 hours 25 min ago

1 day 4 hours ago