Categorical semantics for arrows (Journal of Functional Programming, 2009)

(untitled) - Jacobs, B; Heunen, C; Hasuo, I