6 search results - page 2 / 2 » States, Uniformities and Metrics on Lattice Effect Algebras |
ICFP
2005
ACM
15 years 11 months ago
2005
ACM
Monads are commonplace programming devices that are used to uniformly structure computations with effects such as state, exceptions, and I/O. This paper further develops the monad...