1. A. Benveniste, P. Caspi, S. A. Edwards, P. Le Guernic N. Halbwachs, and R. de Simone. 2002. The Synchronous Languages Twelve Years Later. Proc. IEEE (2002).
2. J.-P. Bernardy, M. Boespflug, R. R. Newton, S. Peyton Jones, and A. Spiwack. 2017. Linear Haskell: Practical Linearity in a Higher-order Polymorphic Language. Proc. ACM Program. Lang. 2, POPL (Dec. 2017), 5:1–5:29.
3. A. Courtney, H. Nilsson, and J. Peterson. 2003. The Yampa arcade. In Workshop on Haskell . ACM, 7–18.
4. S. Eilenberg. 1973. Automata, Languages and Machines, Volume 1. Academic Press.
5. C. Elliott and P. Hudak. 1997. Functional Reactive Animation. In Int. Conf. Func. Prog. (ICFP) . ACM.