Robert Harper;Richard L. Wexelblat
Carnegie Mellon Univ., Pittsburgh, PA;-
Unchecked Exceptions Can Be Strictly More Powerful Than Call/CC
Higher-Order and Symbolic Computation