and Hayo Thielecke. Typed exceptions and continuations cannot macro-express each other (1999)

by Jon G Riecke
Venue:In Proc. ICALP '99