Category-Theoretic Foundations of "STCLang: State Thread Composition as a Foundation for Monadic Dataflow Parallelism"
Abstract
This manuscript gives a category-theoretic foundation to the composition of State Threads as a Foundation for Monadic Dataflow Parallelism. It serves as a supplementary formalization of the concepts introduced in the Article "STCLang: State Thread Composition as a Foundation for Monadic Dataflow Parallelism", as published in Proceedings of the 12th ACM SIGPLAN International Symposium on Haskell (Haskell'19).
- Publication:
-
arXiv e-prints
- Pub Date:
- June 2019
- DOI:
- 10.48550/arXiv.1906.12098
- arXiv:
- arXiv:1906.12098
- Bibcode:
- 2019arXiv190612098E
- Keywords:
-
- Computer Science - Programming Languages;
- Computer Science - Distributed;
- Parallel;
- and Cluster Computing
- E-Print:
- 11 Pages, Supplementary to article published in the Haskell'19 Symposium