1 citations · 2 across the 6 of their papers we have counts for
1 paper · 2 filters
Kristopher Brown, Evan Patterson, Tyler Hanks +1
We demonstrate how category theory provides specifications that can efficiently be implemented via imperative algorithms and apply this to the field of graph rewriting. By examples…