Foundations of total functional data-flow programming

MaRDI QIDQ4995166zbMATH OpenFDO

Authors Baltasar Trancón y Widemann, M. Lepper

Publication date 23 June 2021

Full work available at URL https://arxiv.org/abs/1406.2063, http://eptcs.web.cse.unsw.edu.au/paper.cgi?MSFP2014.10

zbMATH Keywords

coinductiondata flowstream programmingtotal functions

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)

• 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)