Foundations of total functional data-flow programming

zbMATH Open1464.68065arXiv1406.2063MaRDI 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

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

zbMATH Keywords

coinductiondata flowtotal functionsstream programming

Mathematics Subject Classification ID

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

Cited In (2)

• The Essence of Dataflow Programming
• Programming Languages and Systems

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)