Using a Continuation Twice and Its Implications for the Expressive Power of Call/CC.

Published in: High. Order Symb. Comput. (1999)

Keyphrases

expressive power
data complexity
query language
first order logic
transitive closure
computational properties
relational algebra
pattern queries
aggregate functions
artificial intelligence
relational databases
knowledge representation
machine learning
expert systems