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.