A single intermediate language that supports multiple implementations of exceptions (2000)

by N Ramsey, S Peyton Jones
Venue:in: Proceedings of PLDI ’00