A Compositional Approach to Network Algorithms

Assaf Kfoury

We present elements of a typing theory for flow networks, where "types", "typings", and "type inference" are formulated in terms of familiar notions from polyhedral analysis and co…