Author:
BENTON NICK,KENNEDY ANDREW
Abstract
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.
Publisher
Cambridge University Press (CUP)
Cited by
36 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献
1. Asymptotic speedup via effect handlers;Journal of Functional Programming;2024
2. Continuing WebAssembly with Effect Handlers;Proceedings of the ACM on Programming Languages;2023-10-16
3. Separating Sessions Smoothly;Logical Methods in Computer Science;2023-07-12
4. Practical normalization by evaluation for EDSLs;Proceedings of the 14th ACM SIGPLAN International Symposium on Haskell;2021-08-18
5. A metalanguage for guarded iteration;Theoretical Computer Science;2021-04