61
Voted
AMAST
2004
Springer
15 years 2 months ago
2004
Springer
We develop an equational definition of exception monads that characterizes Moggi’s exception monad transformer. This axiomatization is then used to define an extension of previ...