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), volume 1644 of LNCS