https://gist.github.com/Luiz-Monad/c7a0a05077619b1b15cd
https://gist.github.com/Luiz-Monad/4303fc25c8f98feaf3f8fd07f24a9425
https://en.wikipedia.org/wiki/Functional_programming
https://en.wikipedia.org/wiki/LL_parser
https://en.wikipedia.org/wiki/Context-free_grammar#Derivations_and_syntax_trees
https://www.cs.kent.ac.uk/people/staff/dat/tfp12/tfp12.pdf
https://www.cs.tufts.edu/~nr/pubs/htdp.pdf
https://www.info.ucl.ac.be/~pvr/book.html
http://www.ccs.neu.edu/home/matthias/HtDP2e/
http://www-cs-faculty.stanford.edu/~knuth/taocp.html
http://cs.brown.edu/courses/cs173/2012/book/index.html
http://sci-hub.cc/10.1007/3540543961_7
https://getpocket.com/a/read/1856633456
http://www.jucs.org/jucs_23_1/first_class_functions_in/jucs_23_01_0112_0126_ierusalimschy.pdf
http://composition.al/blog/2017/07/31/my-first-fifteen-compilers/
https://www.cs.indiana.edu/~dyb/pubs/commercial-nanopass.pdf
https://www.cl.cam.ac.uk/~sd601/thesis.pdf
https://www.andres-loeh.de/LambdaPi/LambdaPi.pdf
http://www.cs.nott.ac.uk/~pszgmh/pearl.pdf
http://www-sop.inria.fr/members/Benjamin.Gregoire/Publi/lernet08.pdf
https://msm.runhello.com/p/1003
https://people.csail.mit.edu/jgross/personal-website/papers/2016-lob-icfp-2016-draft.pdf
http://akgupta.ca/blog/2013/05/14/so-you-still-dont-understand-hindley-milner/
http://akgupta.ca/blog/2013/06/07/so-you-still-dont-understand-hindley-milner-part-2/
http://akgupta.ca/blog/2013/06/07/so-you-still-dont-understand-hindley-milner-part-3/
https://stackoverflow.com/questions/12532552/what-part-of-milner-hindley-do-you-not-understand
https://en.wikipedia.org/wiki/Hindley%E2%80%93Milner_type_system
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
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
https://github.com/origamitower/furipota
https://www.youtube.com/watch?v=peOk3W7KZ4o&feature=youtu.be&fref=gc
https://www.snellman.net/blog/archive/2017-09-04-lisp-numbers/
http://edge.cs.drexel.edu/regli/Classes/Lisp_papers/McCarthy-original-LISP-paper-recursive.pdf
http://s3data.computerhistory.org/pdp-1/DEC.pdp_1.1964.102650371.pdf
https://en.wikipedia.org/wiki/PDP-8
http://sci-hub.cc/10.1145/1140335.1140356
https://courses.cs.washington.edu/courses/cse341/13wi/unit6notes.pdf