Functional reactive programming with liveness guarantees

Alan Jeffrey. Functional reactive programming with liveness guarantees. In Greg Morrisett, Tarmo Uustalu, editors, ACM SIGPLAN International Conference on Functional Programming, ICFP'13, Boston, MA, USA - September 25 - 27, 2013. pages 233-244, ACM, 2013. [doi]

Abstract

Abstract is missing.