Foundations of total functional data-flow programming

zbMATH Open1464.68065MaRDI QIDQ4995166FDOQ4995166

Authors Baltasar Trancón y Widemann, M. Lepper

Publication date 23 June 2021

Full work available at URL https://arxiv.org/abs/1406.2063

zbMATH Keywords

coinductiondata flowtotal functionsstream programming

Mathematics Subject Classification ID

Theory of programming languages (68N15) Functional programming and lambda calculus (68N18)

Recommendations

• Programming Languages and Systems
• The Essence of Dataflow Programming
• Semantic Foundations for Deterministic Dataflow and Stream Processing
• Higher-order functional reactive programming in bounded space
• Functional reactive types

Cited in

(2)

• Programming Languages and Systems
• The Essence of Dataflow Programming

This page was built for publication: Foundations of total functional data-flow programming

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