Typed Exceptions and Continuations Cannot Macro-Express Each Other (1999)

by J G Riecke, H Thielecke
Venue:In: Proceedings of the 26th International Colloquium on Automata, Languages and Programming (ICALP