Neel Krishnaswami has a paper[0] on implementing FRP with a type system which can statically disallow all the problematic constructs which typically result in t

Neel Krishnaswami has a paper[0] on implementing FRP with a type system which can statically disallow all the problematic constructs which typically result in time or space leaks. There is a caveat in that he hasn't proven the soundness of the implementation of the linear type system (which is used as a basis). [0] https://www.mpi-sws.org/~neelk/simple-frp.pdf https://www.mpi-sws.org/~neelk/simple-frp.pdf