Monoidal Streams for Dataflow Programming

descriptionPublicationkeyboard_double_arrow_right Article , Preprint , Conference object 02 Aug 2022Embargo end date: 01 Jan 2022Publisher:ACMJournal:Proceedings of the 37th Annual ACM/IEEE Symposium on Logic in Computer Science

Authors: Elena Di Lavore; Giovanni de Felice; Mario Román;

doi: 10.1145/3531130.3533365 , 10.48550/arxiv.2202.02061

arXiv: 2202.02061

Monoidal Streams for Dataflow Programming

- Summary
- Subjects
- Metrics

Abstract

We introduce monoidal streams: a generalization of causal stream functions to monoidal categories. In the same way that streams provide semantics to dataflow programming with pure functions, monoidal streams provide semantics to dataflow programming with theories of processes represented by a symmetric monoidal category. At the same time, monoidal streams form a feedback monoidal category, which can be used to interpret signal flow graphs. As an example, we study a stochastic dataflow language.

Draft, 36 pages

Related Organizations

University of Oxford
United Kingdom
Tallinn University of Technology
Estonia

Keywords

FOS: Computer and information sciences, Computer Science - Logic in Computer Science, Computer Science - Programming Languages, FOS: Mathematics, Mathematics - Category Theory, Category Theory (math.CT), 18M05, Logic in Computer Science (cs.LO), Programming Languages (cs.PL)

Impact byBIP!

	selected citations These citations are derived from selected sources. This is an alternative to the "Influence" indicator, which also reflects the overall/total impact of an article in the research community at large, based on the underlying citation network (diachronically).	8
	popularity This indicator reflects the "current" impact/attention (the "hype") of an article in the research community at large, based on the underlying citation network.	Top 10%
	influence This indicator reflects the overall/total impact of an article in the research community at large, based on the underlying citation network (diachronically).	Average
	impulse This indicator reflects the initial momentum of an article directly after its publication, based on the underlying citation network.	Top 10%