cupto/prompt
A Generalization of Exceptions and Control in ML-Like Lan-guages
Carl A. Gunter
Didier Rémy
Jon G. Riecke