LUCID, the dataflow programming language
LUCID, the dataflow programming language
Notions of computation and monads
Information and Computation
Theoretical Computer Science
The essence of functional programming
POPL '92 Proceedings of the 19th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Multidimensional programming
Proceedings of the first ACM SIGPLAN international conference on Functional programming
Implicit parameters: dynamic scoping with static types
Proceedings of the 27th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Science of Computer Programming - Special issue on mathematics of program construction
Universal coalgebra: a theory of systems
Theoretical Computer Science - Modern algebra and its applications
A modal analysis of staged computation
Journal of the ACM (JACM)
Proceedings of the sixth ACM SIGPLAN international conference on Functional programming
Combining a monad and a comonad
Theoretical Computer Science
Functional reactive programming, continued
Proceedings of the 2002 ACM SIGPLAN workshop on Haskell
The dual of substitution is redecoration
Trends in functional programming
Proceedings of the IFIP TC2/WG2.1 Working Conference on Generic Programming
Applied Semantics, International Summer School, APPSEM 2000, Caminha, Portugal, September 9-15, 2000, Advanced Lectures
Linear Lambda-Calculus and Categorial Models Revisited
CSL '92 Selected Papers from the Workshop on Computer Science Logic
Recursion schemes from comonads
Nordic Journal of Computing
Infinite trees and completely iterative theories: a coalgebraic view
Theoretical Computer Science
Behavioural differential equations: a coinductive calculus of streams, automata, and power series
Theoretical Computer Science
Premonoidal categories and notions of computation
Mathematical Structures in Computer Science
Towards a higher-order synchronous data-flow language
Proceedings of the 4th ACM international conference on Embedded software
AFP'04 Proceedings of the 5th international conference on Advanced Functional Programming
Functional metamodels for systems and software
Journal of Systems and Software
Causal commutative arrows and their optimization
Proceedings of the 14th ACM SIGPLAN international conference on Functional programming
Proceedings of the sixth workshop on Declarative aspects of multicore programming
Extending monads with pattern matching
Proceedings of the 4th ACM symposium on Haskell
Higher-order functional reactive programming in bounded space
POPL '12 Proceedings of the 39th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages
MSFP'06 Proceedings of the 2006 international conference on Mathematically Structured Functional Programming
When is a container a comonad?
FOSSACS'12 Proceedings of the 15th international conference on Foundations of Software Science and Computational Structures
Understanding privacy policies
Empirical Software Engineering
| Hi-index | 0.00 |
We propose a novel, comonadic approach to dataflow (stream-based) computation. This is based on the observation that both general and causal stream functions can be characterized as coKleisli arrows of comonads and on the intuition that comonads in general must be a good means to structure context-dependent computation. In particular, we develop a generic comonadic interpreter of languages for context-dependent computation and instantiate it for stream-based computation. We also discuss distributive laws of a comonad over a monad as a means to structure combinations of effectful and context-dependent computation. We apply the latter to analyse clocked dataflow (partial stream based) computation.