Author:
DUMAS JEAN-GUILLAUME,DUVAL DOMINIQUE,FOUSSE LAURENT,REYNAUD JEAN-CLAUDE
Abstract
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.
Publisher
Cambridge University Press (CUP)
Subject
Computer Science Applications,Mathematics (miscellaneous)
Reference6 articles.
1. Generic Exception Handling and the Java Monad
2. Handlers of Algebraic Effects
3. Notions of Computation Determine Monads
4. 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.
5. Monads and Adjunctions for Global Exceptions
Cited by
5 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献