CPS transformation of beta-redexes.

Olivier Danvy Lasse R. Nielsen

Published in: Inf. Process. Lett. (2005)

Keyphrases

real time
neural network
linear transformation
data mining
data structure
support vector
pattern recognition
pairwise
mobile robot
transformation rules