TCS
2010
13 years 7 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 8 days 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 14 days 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 14 days 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...