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