148
click to vote
AMAST
2004
Springer
16 years 21 hour 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...