A Generalization of Exceptions and Control in ML-like Languages

Carl A. Gunter, Didier Rémy, Jon G. Riecke. A Generalization of Exceptions and Control in ML-like Languages. In FPCA. pages 12-23, 1995.

Abstract

Abstract is missing.