Foundations of Total Functional Data-Flow Programming

  title={Foundations of Total Functional Data-Flow Programming},
  author={Baltasar Tranc{\'o}n y Widemann and Markus Lepper},
The field of declarative stream programming (discrete time, clocked synchronous, modular, datacentric) is divided between the data-flow graph paradigm favored by domain experts, and the functional reactive paradigm favored by academics. In this paper, we describe the foundations of a framework for unifying functional and data-flow styles that differs from FRP proper in significant ways: It is based on set theory to match the expectations of domain experts, and the two paradigms are reduced… CONTINUE READING