The Essence of Dataflow Programming

DOI10.1007/11894100_5MaRDI QIDQ5302890zbMATH OpenOpenAlexFDO

Authors Tarmo Uustalu, Varmo Vene

Publication date 15 January 2009

Published in Central European Functional Programming School (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/11894100_5

Mathematics Subject Classification ID

Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Recommendations

• Programming Languages and Systems
• Comonadic notions of computation
• Foundations of total functional data-flow programming
• Semantic Foundations for Deterministic Dataflow and Stream Processing
• scientific article; zbMATH DE number 742725

Cited in

(8)

• Comonadic notions of computation
• The lax braided structure of streaming I/O
• Foundations of differential dataflow
• scientific article; zbMATH DE number 4037158 (Why is no real title available?)
• scientific article; zbMATH DE number 756378 (Why is no real title available?)
• Foundations of total functional data-flow programming
• Programming Languages and Systems
• Deriving distributive laws for graded linear types

This page was built for publication: The Essence of Dataflow Programming

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5302890)