Loading...
Please wait, while we are loading the content...
Similar Documents
A simple calculus of exception handling (1995).
| Content Provider | CiteSeerX |
|---|---|
| Author | Groote, Philippe De |
| Description | This content is published in/by 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 |
| 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. |
| File Format | |
| Publisher Date | 1995-01-01 |
| Access Restriction | Open |
| Subject Keyword | Exception Handling Simple Calculus Classical Logic Uncaught Exception Simply-typed Calculus Subject Reduction Ml-like Exception Curry-howard Isomorphism Type System Well-typed Expression Several Interesting Property |
| Content Type | Text |
