Arrows, like monads, are monoids (2006)

by C Heunen, B Jacobs
Venue:In Proceedings o f the 22nd Annual Conference on Mathematical Foundations o f Programming Semantics, M FP S-X X