A first-order one-pass CPS transformation.

Olivier Danvy Lasse R. Nielsen

Published in: Theor. Comput. Sci. (2003)

Keyphrases

first order logic
higher order
information retrieval
linear transformation
real time
data sets
neural network
real world
artificial intelligence
decision trees
expert systems
knowledge representation
conditional logic
quantifier elimination
stochastic dominance
fukunaga koontz