Compiling Exceptions Correctly

Tobias Nipkow 🌐

July 9, 2004

This is a development version of this entry. It might change over time and is not stable. Please refer to release versions for citations.


An exception compilation scheme that dynamically creates and removes exception handler entries on the stack. A formalization of an article of the same name by Hutton and Wright.


BSD License


Related publications

Session Compiling-Exceptions-Correctly