Skip to main content

Research Repository

Advanced Search

All Outputs (7)

Outside the block syndicate: Translating Faust's algebra of blocks to the arrows framework
Presentation / Conference Contribution

Folklore has it that Faust’s algebra of blocks can be represented in Hughes’ algebra of Arrows. In this paper we formalise this understanding, showing that blocks can indeed be encoded with Causal Commutative Arrows.
Whilst an interesting finding in... Read More about Outside the block syndicate: Translating Faust's algebra of blocks to the arrows framework.