The arrow calculus

SAM LINDLEY, PHILIP WADLER, JEREMY YALLOP
2010 Journal of functional programming  
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.
doi:10.1017/s095679680999027x fatcat:u7wegk2ffvbsrcv3rga6crhdri