[TYPES] Paper: The essence of dataflow programming

Tarmo Uustalu tarmo at cs.ioc.ee
Wed Sep 21 16:24:48 EDT 2005

Dear TYPES subscribers,

We would like to announce our new paper

The essence of dataflow programming


which describes a novel comonadic foundation of dataflow computing,
incl. semantics of dataflow languages a la Lucid or Lustre. The
central point is that comonads structure the context-dependence in
dataflow paradigms in much the same way as monads organize
effects. The paper was specifically written for functional
programmers (as opposed to semanticists).

The paper will not be presented at TFP/ICFP/GPCE in Tallinn. A
trimmed-down version will appear in Proc. of APLAS 2005. The full 
text has been submitted.

Best wishes,

Tarmo Uustalu, Varmo Vene

More information about the Types-list mailing list