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.