AbstractWe 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.
PaperThe Arrow Calculus. Sam Lindley, Philip Wadler, and Jeremy Yallop. Journal of Functional Programming, January 2010.
Tech reportThe Arrow Calculus, Sam Lindley, Philip Wadler, and Jeremy Yallop. Tech report, 2008.