TCS
2010
13 years 10 months ago
2010
The incremental approach to modular monadic semantics constructs complex monads by using monad transformers to add computational features to a preexisting monad. A complication of...
IJAC
2000
14 years 3 months ago
2000
For W a finite set of words, we consider the Rees quotient of a free monoid with respect to the ideal consisting of all words that are not subwords of W. This monoid is denoted by...
ENTCS
2006
14 years 3 months ago
2006
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...
IJAC
2008
14 years 3 months ago
2008
The dual symmetric inverse monoid I n is the inverse monoid of all isomorphisms between quotients of an n-set. We give a monoid presentation of I n and, along the way, establish c...