Exceptions Are Strictly More Powerful Than Call Cc (1995)

by Mark Lillibridge
Venue:HigherOrder and Symbolic Computation