Redirecting you to Prof. Jonathan Sprinkle's
Compositional Systems Laboratory
...