A Generalization of Exceptions and Control in ML-like Languages (1995)

by Carl A. Gunter, Didier Rémy, Jon G. Riecke
Venue:IN PROC. FPCA