1. Heinrich Apfelmus. 2012. Reactive-banana. Haskell library available at http://www. haskell. org/haskellwiki/Reactive-banana (2012).
2. Heinrich Apfelmus. 2013. Threepenny-gui. https://wiki.haskell.org/ Threepenny-gui .
3. C.P.R. Baaij. 2015. Digital circuit in C λaSH: functional specifications and type-directed synthesis. Ph.D. Dissertation.
4. Manuel Bärenz and Ivan Perez. 2018. Rhine: FRP with type-level clocks. In Proceedings of the 11th ACM SIGPLAN International Symposium on Haskell, Haskell@ICFP 2018, St. Louis, MO, USA, September 27-17, 2018, Nicolas Wu (Ed.). ACM, 145–157.
5. Tewodros Beyene, Swarat Chaudhuri, Corneliu Popeea, and Andrey Rybalchenko. 2014. A Constraint-based Approach to Solving Games on Infinite Graphs. In POPL. ACM, 221–233.