Typed Exeptions and Continuations Cannot Macro-Express Each Other.

Jon G. Riecke, Hayo Thielecke

Browse the full ICALP paper archive.