A Simple Calculus of Exception Handling (1995)
by
Philippe de Groote
| Venue: | M. DEZANI-CIANCAGLINI AND G. PLOTKIN (EDS) PROCEEDINGS OF THE SECOND INTERNATIONAL CONFERENCE ON TYPED LAMBDA CALCULI AND APPLICATIONS, LECTURE NOTES IN COMPUTER SCIENCE, VOL. 902 |
| Citations: | 26 - 0 self |
BibTeX
@MISC{Groote95asimple,
author = {Philippe de Groote},
title = {A Simple Calculus of Exception Handling},
year = {1995}
}
Years of Citing Articles
Bookmark
 |
 |
 |
 |
 |
 |
OpenURL
Abstract
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, satisfies 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.
Citations
| 28 | Extracting Constructive Content from Classical Logic via Control-Like Reductions - Barbanera, Berardi - 1993 |
| 9 | Continuations and simple types: A strong normalization result - Barbanera, Berardi - 1992 |
| 5 | Unifying exceptions with constructors in Standard ML - Appel, MacQueen, et al. - 1988 |
