J.- taek Kim, K. Yi, and O. Danvy, “Assessing the Overhead of ML Exceptions by Selective CPS Transformation”, BRICS, vol. 5, no. 15, Jan. 1998.