Work

Decorated proofs for computational effects: Exceptions

Year: 2012

Type: preprint

Abstract: We define a proof system for exceptions which is close to the syntax for exceptions, in the sense that the exceptions do not appear explicitly in the type of any expression. This proof system is sound with respect to the intended denotational semantics of exceptions. With this inference system we prove several properties of exceptions.

Source: arXiv (Cornell University)

DOI: 10.48550/arxiv.1203.2900

Authors: Dumas, Jean-Guillaume, Duval, Dominique, Fousse, Laurent, Reynaud, Jean-Claude

Institution: Laboratoire Jean Kuntzmann

Language: English

Topic: Logic, programming, and type systems

Subfield: Artificial Intelligence

Field: Computer Science

Domain: Physical Sciences

Open Access status: green

OpenAlex ID: W1582297725

Cites: 7

Cited by:

Related to: 10