Resources
This document lists some resources, papers, documents that might be related to the areas covered by Streamly and may help in designing and implementing features in Streamly.
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
Concurrency
- 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
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