Raoul Duke just brought to my attention the Flow-based programming patterns which are certainly an earlier publication of ideas much like these.
The Click suite illustrates the use of similar ideas to packet processing.
Here are recent comparisons with some modern programming patterns.
Here is a scheme inspired by Henry Baker that discards the built in continuations, and a similar independent C version.
Brief note on doing this with Keykos domains.
OCaml is promissing.
Some Theory or formalism
splitting a stream