No CrossRef data available.
Published online by Cambridge University Press: 04 September 2001
From the points of view of programming pragmatics, rewriting and operational semantics, the syntactic construct used for exception handling in ML-like programming languages, and in much theoretical work on exceptions, has subtly undesirable features. We propose and discuss a more well-behaved construct.
Discussions
No Discussions have been published for this article.