Resources

Non-Determinism/Logic

• Backtracking, Interleaving, and Terminating Monad Transformers
• Monad Transformers for Backtracking Search
• Continuations for Parallel Logic Programming
• A Concurrent Extension of Functional Logic Programming Languages

Arrows

• Generalising Monads to Arrows
• Monads, Kleisli Arrows, Comonads and other Rambling Thoughts

Concurrent

• https://en.wikipedia.org/wiki/Fork-join_model
• https://en.wikipedia.org/wiki/Work_stealing
• https://en.wikipedia.org/wiki/Task_parallelism
• https://en.wikipedia.org/wiki/OpenMP
• https://en.wikipedia.org/wiki/Cilk See the "see also" section on this page
• https://en.wikipedia.org/wiki/Green_threads
• Fraxl: Abstracting Async.Concurrently

Streaming

• Coroutines for streaming
• Stackless purescript
• Coroutine Pipelines
• Faster Coroutine Pipelines
• Speeding up conduit

Distributed

• Making reliable distributed systems in the presence of software errors
• Towards Haskell in the Cloud
• https://github.com/transient-haskell/transient/wiki/Transient-tutorial
• http://haskell-distributed.github.io/wiki.html
• https://en.wikipedia.org/wiki/MapReduce

FRP

• https://github.com/HeinrichApfelmus/frp-guides
• Push-Pull Functional Reactive Programming
• Functional Reactive Programming, Refactored
• Back to the Future: Time Travel in FRP