A single intermediate language that supports multiple implementations of exceptions.

Norman Ramsey, Simon L. Peyton Jones

Browse the full PLDI paper archive.