A generalization of exceptions and control in ML-like languages (1995)

by C A Gunter, R Didier, J G Riecke
Venue:In Proc. FPCA