Runtime Safety of Programs

[Bjorn Lisper]

>> The other lead is trying to find people who want to study exception handling
>> and incorporate it in Clean, without
>> compromising Clean's mathematical properties.

>Here's a couple of references that may be of use if anyone is
>interested in this. ...

You may also want to check out the $\lambda_\Delta$-calculus by Rehof and
Sørensen (Proc TACS'94, LNCS vol 789). This is an enriched lambda calculus
with a construct that can model the catching and throwing of exceptions. The
calculus is confluent.

Björn Lisper