Unchecked Exceptions can be Strictly More Powerful than Call/CC | Lambda the UltimateUnchecked Exceptions can be Strictly More Powerful than Call/CC Here's a little light reading for your day-after-Labor-Day (or whatever yesterday was where you live): Unchecked Exceptions can be Strictly More Powerful than Call/CC, Mark Lillibridge and Olivier Danvy, 1999, Higher-Order and Symbolic Computation. We demonstrate that in the context of statically-typed purely-functional lambda calculi
