A duality between exceptions and states
type: Item
instance of: scholarly article
title: A duality between exceptions and states
zbMATH Open document ID: 1280.68120
DOI: 10.1017/S0960129511000752
author: Jean-Guillaume Dumas
author: Dominique Duval
author: Laurent Fousse
author: Jean-Claude Reynaud
publication date: 2012-09-06T00:00:00Z
full work available at URL: https://arxiv.org/abs/1402.1051
Mathematics Subject Classification ID: 68Q55
Mathematics Subject Classification ID: 18C50
zbMATH DE Number: 6078318
zbMATH Keywords: computational effects
zbMATH Keywords: exception
zbMATH Keywords: state
zbMATH Keywords: duality
MaRDI profile type: Publication
arXiv ID: 1402.1051
cites work: Notions of computation and monads
cites work: Handlers of Algebraic Effects
OpenAlex ID: W2101091770
published in: MSCS. Mathematical Structures in Computer Science
review text: The short note proves a categorical duality between the handling of exceptions and the structure of states in an imperative language, once the control is dissociated from the elementary operation that recovers from exceptions. Both are defined through commutativity of certain diagrams which are formally dual in a categorical sense.
reviewed by: Anna Labella
description: scientific article; zbMATH DE number 6078318