Exceptional Syntax
- Nick Benton ,
- Andrew Kennedy
Journal of Functional Programming | , Vol 11: pp. 395-410
From the points of view of proof-theory, programming pragmatics and operational semantics, the syntactic construct used for exception handling in many programming languages, and in much theoretical work on exceptions, has subtly undesirable features. We propose and discuss a more well-behaved construct.