Abstract
We introduce the arrow calculus, a metalanguage for manipulating Hughes's arrows with close relations both to Moggi's metalanguage for monads and to Paterson's arrow notation.
Paper
The Arrow Calculus. Sam Lindley, Philip Wadler, and Jeremy Yallop. Journal of Functional Programming, January 2010.
Tech report
The Arrow Calculus, Sam Lindley, Philip Wadler, and Jeremy Yallop. Tech report, 2008.
Related
Idioms are oblivious, arrows are meticulous, monads are promiscuous. Sam Lindley, Philip Wadler, and Jeremy Yallop. In the proceedings of MSFP 2008. ENTCS.