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

by Carl A Gunter, Didier Rémy, Jon G Riecke
Venue:In Functional programming languages and computer architecture: 7th conference