View docs here
The thesis based on this work is visible here
Dataflow DSL, using Symmetric Monoidal Categories
