Exception handling in a parallel functional language: PSML
Kevin L Hammond · 2003
Handling exceptional occurrences during computation is a problem in most functional programming languages, even where the computation is eager and sequential. A version of the error value method is presented which allows lazy computation with deterministic semantics for parallel evaluation even in the presence of errors. The realization of this technique is illustrated by reference PSML, a referentially transparent variant of standard ML designed for parallel evaluation.>