[1] Rene Pardo and Remy Landau, The World's First Electronic Spreadsheet: http://www.renepardo.com/articles/spreadsheet.pdf

[2] Conal Elliott and Paul Hudak, Functional Reactive Animation: http://conal.net/papers/icfp97/icfp97.pdf

[3] Evan Czaplicki, Elm: Concurrent FRP for Functional GUIs: http://elm-lang.org/papers/concurrent-frp.pdf

[4] Erik Meijer, Subject/Observer is Dual to Iterator: http://csl.stanford.edu/~christos/pldi2010.fit/meijer.duality.pdf

[5] Henrik Nilsson, Antony Courtney and John Peterson, Functional Reactive Programming, Continued: http://haskell.cs.yale.edu/wp-content/uploads/2011/02/workshop-02.pdf

[6] John Hughes, Generalising Monads to Arrows: http://www.cse.chalmers.se/~rjmh/Papers/arrows.pdf

[7] Zhanyong Wan, Walid Taha and Paul Hudak, Real-Time FRP: http://haskell.cs.yale.edu/wp-content/uploads/2011/02/rt-frp.pdf

[8] Walid Taha, Zhanyong Wan, and Paul Hudak, Event-Driven FRP: http://www.cs.yale.edu/homes/zwan/papers/mcu/efrp.pdf

[9] Benjamin C. Pierce, Basic Category Theory for Computer Scientists: http://www.amazon.com/Category-Computer-Scientists-Foundations-Computing-ebook/dp/B00MG7E5WE/ref=sr_1_7?ie=UTF8&qid=1423484917&sr=8-7&keywords=category+theory

[10] Steve Awodey, Category Theory (Oxford Logic Guides): http://www.amazon.com/Category-Theory-Oxford-Logic-Guides/dp/0199237182/ref=sr_1_2?ie=UTF8&qid=1423484917&sr=8-2&keywords=category+theory

[11] Duncan Coutts, Roman Leshchinskiy, and Don Stewart, Stream Fusion: http://code.haskell.org/~dons/papers/icfp088-coutts.pdf

[12] Philip Wadler, Transforming programs to eliminate trees: http://homepages.inf.ed.ac.uk/wadler/papers/deforest/deforest.ps