6 citations · 22 across the 11 of their papers we have counts for
1 paper · 2 filters
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…