Modular type checking of anchored exception declarations
We present modular algorithms for type checking anchored exception declarations. The modular algorithms provide additional opportunities for using anchored exception declarations. We prove that the modular algorithms preserve exception safety.
modular anchored exception declaration exception soundness