Sciweavers

ENTCS
2006
166views more  ENTCS 2006»
13 years 4 months ago
Arrows, like Monads, are Monoids
Monads are by now well-established as programming construct in functional languages. Recently, the notion of "Arrow" was introduced by Hughes as an extension, not with o...
Chris Heunen, Bart Jacobs