Abstract | ||
---|---|---|
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. |
Year | Venue | Field |
---|---|---|
2010 | Clinical Orthopaedics and Related Research | Monad (category theory),Computer science,Theoretical computer science,Artificial intelligence,Monad (functional programming) |
DocType | Volume | Citations |
Journal | abs/1001.1 | 0 |
PageRank | References | Authors |
0.34 | 8 | 4 |
Name | Order | Citations | PageRank |
---|---|---|---|
Jean-Guillaume Dumas | 1 | 428 | 68.48 |
Dominique Duval | 2 | 103 | 21.52 |
Laurent Fousse | 3 | 293 | 19.67 |
Jean-Claude Reynaud | 4 | 47 | 9.73 |