monads.txt

gistfile1.txt

https://www.youtube.com/watch?v=EaLboOUG9VQ&index=6&list=PLJq3XDLIJkib2h2fObomdFRZrQeJg4UIW
https://www.youtube.com/watch?v=5V1ynVyud4M
https://www.youtube.com/watch?v=R2Aa4PivG0g
https://www.youtube.com/watch?v=re96UgMk6GQ
https://www.infoq.com/presentations/Why-is-a-Monad-Like-a-Writing-Desk
https://www.youtube.com/watch?v=uVEBikEMuRQ&fref=gc
https://www.youtube.com/watch?v=PwL2c6rO6co
https://www.youtube.com/watch?v=0Eg6RDUJGJQ&fref=gc
https://www.schoolofhaskell.com/user/edwardk/bound?fref=gc
http://www.cs.ru.nl/~james/RESEARCH/haskell2004.pdf
www.augustsson.net/Darcs/Lambda/top.pdf
https://www.microsoft.com/en-us/research/publication/secrets-of-the-glasgow-haskell-compiler-inliner/?from=http%3A%2F%2Fresearch.microsoft.com%2Fen-us%2Fum%2Fpeople%2Fsimonpj%2Fpapers%2Finlining%2F
http://citeseerx.ist.psu.edu/viewdoc/download?doi=10.1.1.64.4921&rep=rep1&type=pdf
http://citeseer.ist.psu.edu/viewdoc/summary?doi=10.1.1.36.2763
http://www.seas.upenn.edu/~sweirich/papers/itabox/icfp-published-version.pdf
http://www.michael-noll.com/blog/2013/12/02/twitter-algebird-monoid-monad-for-large-scala-data-analytics/
https://www.quora.com/How-does-tail-recursion-and-other-optimisations-prevent-stack-overflow-in-functional-programming/answer/Quildreen-Motta?share=fdcdab45
https://github.com/origamitower/furipota
https://www.youtube.com/watch?v=peOk3W7KZ4o&feature=youtu.be&fref=gc
https://homotopytypetheory.org/2015/12/02/the-proof-assistant-lean/
http://www.slideshare.net/kaleidotheater/hakodate2015-julyslide
https://bartoszmilewski.com/category/type-system/
https://medium.com/real-world-fsharp/understanding-monads-db30eeadf2bf#.kfsi56rqj
https://wiki.haskell.org/Monad_laws
https://wiki.haskell.org/Applicative_functor#Applicative_transformers
http://learnyouahaskell.com/functors-applicative-functors-and-monoids
https://hackage.haskell.org/package/base-4.9.0.0/docs/Control-Applicative.html