Freyd is Kleisli, for arrows (2006)

by B Jacobs, H asuo, I
Venue:In Proceedings o f the Workshop on Mathematically Structured Functional Programming, MSFP 2006 (Kuressaare, July 2006), M cBride, C. & U ustalu, T. (eds), Electronic W orkshops in Com puting. BCS, article 9