Category-Theoretic Foundations of "STCLang: State Thread Composition as a Foundation for Monadic Dataflow Parallelism"
Programming Languages
2019-08-12 v2 Distributed, Parallel, and Cluster Computing
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).
Keywords
Cite
@article{arxiv.1906.12098,
title = {Category-Theoretic Foundations of "STCLang: State Thread Composition as a Foundation for Monadic Dataflow Parallelism"},
author = {Sebastian Ertel and Justus Adam and Norman A. Rink and Andrés Goens and Jeronimo Castrillon},
journal= {arXiv preprint arXiv:1906.12098},
year = {2019}
}
Comments
11 Pages, Supplementary to article published in the Haskell'19 Symposium