Haskell-Bookmarks

Too much interesting haskell stuff on the web. Difficult to keep track so posting all of that here:

Indexed Monad

Embedding Effect Systems: https://www.youtube.com/watch?v=EVqsfQHS8R8

http://www.cl.cam.ac.uk/~dao29/publ/haskell14-effects.pdf

https://qiita.com/kimagure/items/a0ee7313e8c7690bf3f5

https://gist.github.com/pthariensflame/5054294

https://gist.github.com/pthariensflame/5716594

GHC Internals

https://ghc.haskell.org/trac/ghc/wiki/Commentary/Rts/Storage/HeapObjects

https://ghc.haskell.org/trac/ghc/wiki/Commentary/Rts/STM

FRP

Reflex: https://blog.qfpl.io/posts/reflex/basics/introduction/ Yampa: https://pdfs.semanticscholar.org/5a55/13560ef9bdc444c781ad15c3e44558492759.pdf

Category Theory

https://www.schoolofhaskell.com/user/bartosz/understanding-yoneda

Type Theory

System FC: https://pdfs.semanticscholar.org/b49e/9c2d00acd25ada608170c3c3485880261980.pdf

Writing a Compiler

https://www.dcc.fc.up.pt/~pbv/aulas/linguagens/peytonjones92implementing.pdf

https://www.microsoft.com/en-us/research/wp-content/uploads/1992/01/student.pdf

http://library.readscheme.org/page1.html (The original Lambda Papers by Guy Steele and Gerald Sussmann)

SICP Chap. 4 and 5 (Non Haskell but FP nonetheless)

Recursion Schemes

http://blog.sumtypeofway.com/an-introduction-to-recursion-schemes/

https://medium.com/@jaredtobin/practical-recursion-schemes-c10648ec1c29

DSLs

http://okmij.org/ftp/tagless-final/index.html

Reflection

http://okmij.org/ftp/Haskell/zseq.pdf

http://okmij.org/ftp/Haskell/Reflection.html

Type level stuff

https://arow.info/blog/posts/2015-07-10-servant-intro.html

https://www.schoolofhaskell.com/user/konn/prove-your-haskell-for-great-safety/dependent-types-in-haskell

https://blog.jle.im/entry/practical-dependent-types-in-haskell-1.html

https://blog.jle.im/entry/practical-dependent-types-in-haskell-2.html

Free

http://okmij.org/ftp/Computation/free-monad.html

https://qfpl.io/posts/optimising-free-with-plated/

Continuations

http://blog.ielliott.io/continuations-from-the-ground-up/

Lens

https://www.twanvl.nl/blog/haskell/cps-functional-references

Session Types

http://courses.cs.vt.edu/cs5204/fall09-kafura/Papers/PICalculus/Pi-Calculus-Introduction.pdf

https://www.di.fc.ul.pt/~vv/papers/honda.vasconcelos.kubo_language-primitives.pdf

https://www.doc.ic.ac.uk/~yoshida/multiparty/multiparty.pdf

Session types in Haskell: http://users.eecs.northwestern.edu/~jesse/pubs/haskell-session-types/session08.pdf

Prof. Nobuko Yoshida: https://www.youtube.com/watch?v=HEg088cW528

Associated Types, Type Families, Data Families

https://www.microsoft.com/en-us/research/wp-content/uploads/2016/07/typefun.pdf

Other bookmarks

https://github.com/lotz84/haskell/blob/master/docs/monad-transformers.md

http://www.haskellforall.com/2014/03/