Computer Science – Logic in Computer Science
Scientific paper
2011-12-11
Computer Science
Logic in Computer Science
Scientific paper
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 which recovers from the
exception. In this way it becomes apparent that there is a duality, in the
categorical sense, between exceptions and states.
Dumas Jean-Guillaume
Duval Dominique
Fousse Laurent
Reynaud Jean-Claude
No associations
LandOfFree
A duality between exceptions and states does not yet have a rating. At this time, there are no reviews or comments for this scientific paper.
If you have personal experience with A duality between exceptions and states, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and A duality between exceptions and states will most certainly appreciate the feedback.
Profile ID: LFWR-SCP-O-708109