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

by Carl Gunter, Didier Remy, Jon Riecke
Venue:In Functional Programming Languages and Computer Architecture