Arrows, like monads, are monoids (2006)

by Chris Heunen , Bart Jacobs
Venue:Proc. of 22nd Ann. Conf. on Mathematical Foundations of Programming Semantics, MFPS XXII, v. 158 of Electron. Notes in Theoret. Comput. Sci
Citations:12 - 1 self

Document Versions

Arrows, like monads, are monoids –Chris Heunen, Bart Jacobs — 2006 — Proc. of 22nd Ann. Conf. on Mathematical Foundations of Programming Semantics, MFPS XXII, v. 158 of Electron. Notes in Theoret. Comput. Sci