Freyd is Kleisli, for arrows (2006)

by Bart Jacobs , Ichiro Hasuo
Venue:In C. McBride, T. Uustalu, Proc. of Wksh. on Mathematically Structured Programming, MSFP 2006, Electron. Wkshs. in Computing. BCS
Citations:4 - 2 self

Document Versions

Freyd is Kleisli, for arrows –Bart Jacobs, Ichiro Hasuo — 2006 — In C. McBride, T. Uustalu, Proc. of Wksh. on Mathematically Structured Programming, MSFP 2006, Electron. Wkshs. in Computing. BCS
Freyd is Kleisli, for arrows –Bart Jacobs, Ichiro Hasuo — 2006 — In C. McBride, T. Uustalu, Proc. of Wksh. on Mathematically Structured Programming, MSFP 2006, Electron. Wkshs. in Computing. BCS