Paper Info
Title
Breaking a monad-comonad symmetry between computational effects.
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.
Year
DOI
Venue
2014
10.1017/S0960129511000752
MATHEMATICAL STRUCTURES IN COMPUTER SCIENCE
DocType
Volume
Issue
Journal
22
4
ISSN
Citations 
PageRank 
0960-1295
0
0.34
References 
Authors
0
3
Name
Order
Citations
PageRank
Jean-Guillaume Dumas142868.48
Dominique Duval210321.52
Jean-Claude Reynaud3479.73