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

Documents Related by Co-Citation

99 Premonoidal Categories and Notions of Computation – John Power, Edmund Robinson - 1995
731 Notions of Computation and Monads – Eugenio Moggi - 1991
1311 Monads for functional programming – Philip Wadler - 1995
924 Categories for the working mathematician – S Mac Lane - 1971
685 Heuristics: intelligent search strategies for computer problem solving – J Pearl - 1985
1444 A Note on Two Problems in Connexion with Graphs – E. W. Dijkstra - 1959
489 The synchronous dataflow programming language LUSTRE – N. Halbwachs, P. Caspi, P. Raymond, D. Pilaud - 1991
441 Computational Lambda-Calculus and Monads – Eugenio Moggi - 1988
390 Explicit substitutions – M. Abadi, L. Cardelli, P.-L. Curien, J.-J. Lévy - 1996