No CrossRef data available.
Article contents
A duality between exceptions and states
Published online by Cambridge University Press: 08 May 2012
Abstract
Core share and HTML view are not available for this content. However, as you have access to this content, a full PDF is available via the 'Save PDF' action button.
In this short note we study the semantics of two basic computational effects, exceptions and states, from a new point of view. In the handling of exceptions we dissociate the control from the elementary operation that recovers from the exception. In this way it becomes apparent that there is a duality, in the categorical sense, between exceptions and states.
Information
- Type
- Paper
- Information
- Copyright
- Copyright © Cambridge University Press 2012
References
Dumas, J.-G., Duval, D., Fousse, L. and Reynaud, J.-C. (2010) States and exceptions considered as dual effects. Available at arXiv:1001.1662 v4.Google Scholar
Levy, P. B. (2006) Monads and adjunctions for global exceptions. MFPS 2006. Electronic Notes in Theoretical Computer Science 158 261–287.CrossRefGoogle Scholar
Moggi, E. (1991) Notions of Computation and Monads. Information and Computation 93 (1)55–92.CrossRefGoogle Scholar
Plotkin, G. D. and Power, J. (2002) Notions of Computation Determine Monads. FoSSaCS 2002. Springer-Verlag Lecture Notes in Computer Science 2303 342–356.Google Scholar
Plotkin, G. D. and Pretnar, M. (2009) Handlers of Algebraic Effects. ESOP 2009. Springer-Verlag Lecture Notes in Computer Science 5502 80–94.CrossRefGoogle Scholar
Schröder, L. and Mossakowski, T. (2004) Generic Exception Handling and the Java Monad. AMAST 2004. Springer-Verlag Lecture Notes in Computer Science 3116 443–459.Google Scholar
You have
Access
- 6
- Cited by