States and exceptions are dual effects

States and exceptions are dual effects,Computing Research Repository,Jean-Guillaume Dumas,Dominique Duval,Laurent Fousse,Jean-Claude Reynaud

States and exceptions are dual effects  
BibTex | RIS | RefWorks Download
Global states and exceptions form two basic computa- tional effects. In this paper it is proved that they can be seen as dual to each other: the lookup and update opera- tions for global states are dual to the raise and handle op- erations for exceptions, respectively. In order to get this result we use a monad for exceptions and a comonad for global states.
Journal: Computing Research Repository - CORR , vol. abs/1001.1, 2010
Cumulative Annual
View Publication
The following links allow you to view full publications. These links are maintained by other sources not affiliated with Microsoft Academic Search.