Category-Theoretic Foundations of "STCLang: State Thread Composition as a Foundation for Monadic Dataflow Parallelism"
Sebastian Ertel, Justus Adam, Norman A. Rink, Andr\'es Goens, and Jeronimo Castrillon
TL;DR
This paper provides a category-theoretic formalization of state thread composition to underpin monadic dataflow parallelism, enhancing theoretical understanding and formal foundations for parallel programming models.
Contribution
It introduces a novel category-theoretic framework that formalizes state thread composition for monadic dataflow parallelism, complementing prior work on STCLang.
Findings
Formal category-theoretic foundation established
Enhanced understanding of state thread composition
Supports development of parallel programming models
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).
Peer Reviews
No public reviews on file for this paper yet. If you reviewed it on a platform where reviews are public (OpenReview, ICLR, NeurIPS, ICML), you can paste yours below so the community can read it here.
Videos
No videos yet. Explain this paper in a talk, walkthrough, or lecture? Add one.
Taxonomy
TopicsEmbedded Systems Design Techniques · Parallel Computing and Optimization Techniques · Interconnection Networks and Systems