Sciweavers

Free Online Productivity Tools i2Speak i2Symbol i2OCR iTex2Img iWeb2Print iWeb2Shot i2Type iPdf2Split iPdf2Merge i2Bopomofo i2Arabic i2Style i2Image i2PDF iLatex2Rtf Sci2ools

10

TLCA
1995
Springer

favoriteEmaildiscussreport

97views Theoretical Computer Science» more TLCA 1995»

A Simple Calculus of Exception Handling

13 years 8 months ago

A Simple Calculus of Exception Handling

Download www.loria.fr

We introduce a simply-typed λ-calculus (λ→ exn ) featuring an ML-like exception handling mechanism. This calculus, whose type system corresponds to classical logic through the Curry-Howard isomorphism, satiﬁes several interesting properties: among other, Church-Rosser, subject reduction, and strong-normalisation. Moreover, its typing system ensures that the reduction of well-typed expressions cannot give rise to uncaught exceptions.

Philippe de Groote

Real-time Traffic

Curry-Howard Isomorphism | Exception Handling Mechanism | Theoretical Computer Science | TLCA 1995 | Type System Corresponds |

claim paper

Related Content

» Extracting Programs with Exceptions in an Impredicative Type System

» Exception Handling in the Choices Operating System

» Translation and optimization for a core calculus with exceptions

» Disjunctive normal forms and local exceptions

» A Fully ObjectOriented Exception Handling System Rationale and Smalltalk Implementation

» Exception Handling and Asynchronous Active Objects Issues and Proposal

» Exception Handling in Agent Systems

» A General Name Binding Mechanism

» Monads and Adjunctions for Global Exceptions

Post Info
More Details (n/a)

Added	26 Aug 2010
Updated	26 Aug 2010
Type	Conference
Year	1995
Where	TLCA
Authors	Philippe de Groote

Comments (0)