Typed Exeptions and Continuations Cannot Macro-Express Each Other.

Jon G. Riecke Hayo Thielecke

Published in: ICALP (1999)

Keyphrases

higher order
databases
neural network
bayesian networks
support vector
image processing
reinforcement learning
video sequences
association rules
user interface
data model
lambda calculus